Cover Image

Formal verification of deep neural networks

This paper introduces a method for the formal verification of neural networks using a Satisfiability Modulo Theories (SMT) solver. This approach enables the mathematical validation of specific neural network properties, enhancing their predictability. We propose a method for simplifying a neural net...

Full description

Saved in:

Bibliographic Details
Date:	2024
Main Author:	Panchuk, B.O.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2024
Subjects:	neural networks formal verification satisfiability modulo theories constraints satisfaction intrusion detection systems network traffic analysis UDC 004.415.52 004.89 004.492
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/644
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Approach to the building intelligent decision support systems on the basis of ontology
by: Lytvyn, V.V.
Published: (2025)

Information system for hostilities mechanized forces modelling based on ontology
by: Oborska, O.V.
Published: (2019)

Flow based bonet traffic detection using AI
by: Panchuk, B.O.
Published: (2023)

Recurrent neural network model for music generation
by: Komarskiy, O.C., et al.
Published: (2022)

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Software package for adaptive training of robot controllers based on neural networks
by: Vitiuk, A.Y., et al.
Published: (2023)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Novelty search in neuroevolution for end effector positioning
by: Vitiuk, A.Y., et al.
Published: (2023)

Peterson’s algorithm Total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2018)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Features of building recommendation systems based on neural network technology using multithreading
by: Komleva, N.O., et al.
Published: (2023)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

Sound interface design for blind PC users
by: Ruvinskaya, V.M., et al.
Published: (2015)

Designing of the specialized computer system for making pulmonology diagnosis
by: Komlevaya, N.O., et al.
Published: (2025)

Features of implementation of simulation processes based on DATA FARMING methodologies
by: Krikovlyuk, E.A., et al.
Published: (2015)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Forecasting electrical energy consumption for 24 hours ahead at country scale
by: Doroshenko, A.Yu., et al.
Published: (2024)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Method for political propaganda detection in internet content using neural network natural language processing tools
by: Krak, Iu.V., et al.
Published: (2024)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Information technology to ensure the survivability of sensor networks
by: Petrivskyi, V.Y., et al.
Published: (2022)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Machine learning methods analysis in the document classification problem
by: Zhyrkova, A.P., et al.
Published: (2021)

Some aspects of software engineering for AI-based systems
by: Liubchenko, V.V.
Published: (2023)

Equivalence of two parallel execution systems
by: Panchenko, T.V., et al.
Published: (2018)

Game theoretic modeling of AIMD network equilibrium
by: Ignatenko, O.P.
Published: (2018)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Prediction of Flow Accelerated Corrosion of NPP Pipeline Elements by Network Simulation Method
by: Biblik, Irina V., et al.
Published: (2018)

Prediction of Flow Accelerated Corrosion of NPP Pipeline Elements by Network Simulation Method
by: Biblik, Irina V., et al.
Published: (2018)

Extracting structure from text documents based on machine learning
by: Kudim, K.A., et al.
Published: (2023)

An intelligent chatbot for evaluating the emotional colouring of a message and responding accordingly
by: Kobchenko, V. R., et al.
Published: (2024)

On the problem of object recognition on devices with limited resources
by: Berdnyk, Y.M., et al.
Published: (2025)

Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
by: Ivanchuk, Y.V., et al.
Published: (2025)