Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2024
1. Verfasser:	Panchuk, B.O.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2024
Schlagworte:	neural networks formal verification satisfiability modulo theories constraints satisfaction intrusion detection systems network traffic analysis UDC 004.415.52 004.89 004.492
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/644
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Flow based bonet traffic detection using AI
von: Panchuk, B.O.
Veröffentlicht: (2023)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Approach to the building intelligent decision support systems on the basis of ontology
von: Lytvyn, V.V.
Veröffentlicht: (2025)

Information system for hostilities mechanized forces modelling based on ontology
von: Oborska, O.V.
Veröffentlicht: (2019)

Recurrent neural network model for music generation
von: Komarskiy, O.C., et al.
Veröffentlicht: (2022)

Software package for adaptive training of robot controllers based on neural networks
von: Vitiuk, A.Y., et al.
Veröffentlicht: (2023)

Novelty search in neuroevolution for end effector positioning
von: Vitiuk, A.Y., et al.
Veröffentlicht: (2023)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Features of implementation of simulation processes based on DATA FARMING methodologies
von: Krikovlyuk, E.A., et al.
Veröffentlicht: (2015)

Forecasting electrical energy consumption for 24 hours ahead at country scale
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2024)

Features of building recommendation systems based on neural network technology using multithreading
von: Komleva, N.O., et al.
Veröffentlicht: (2023)

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

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)

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

Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
von: Ivanchuk, Y.V., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Sound interface design for blind PC users
von: Ruvinskaya, V.M., et al.
Veröffentlicht: (2015)

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

Designing of the specialized computer system for making pulmonology diagnosis
von: Komlevaya, N.O., et al.
Veröffentlicht: (2025)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

Information technology to ensure the survivability of sensor networks
von: Petrivskyi, V.Y., et al.
Veröffentlicht: (2022)

System of classification for personnel selection based upon Ukrainian language ana-lyze
von: Zhezherun, O.P., et al.
Veröffentlicht: (2021)

Semantic approach to automated formation of information security systems documentation
von: Bova, Yu.V., et al.
Veröffentlicht: (2026)

Application of small language models for semantic analysis of Web interface accessibility
von: Kuzikov, B.O., et al.
Veröffentlicht: (2025)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

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

Enhancing ball detection in football videos using attention mechanisms in FPN-based CNNS
von: Ivasenko, I.B., et al.
Veröffentlicht: (2025)

Research of software solutions for forecasting electricity generation and consumption in Ukraine that are based on machine learning methods
von: Sinitsyn, I.P., et al.
Veröffentlicht: (2023)

User-centric technology stack for weather and air pollution forecasting
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

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

EVOLUTION OF WIRELESS (CELLULAR) COMMUNICATION NETWORKS
von: Chernogor, L. F., et al.
Veröffentlicht: (2025)

Game theoretic modeling of AIMD network equilibrium
von: Ignatenko, O.P.
Veröffentlicht: (2018)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)