Automated Safety Verification of Programs Invoking Neural Networks.
Maria ChristakisHasan Ferit EniserHolger HermannsJörg HoffmannYugesh KothariJianlin LiJorge A. NavasValentin WüstholzPublished in: CAV (1) (2021)
Keyphrases
- neural network
- symbolic execution
- pattern recognition
- artificial neural networks
- hardware designs
- semi automated
- model checking
- fuzzy logic
- automated analysis
- self organizing maps
- fuzzy systems
- fully automated
- genetic algorithm
- multilayer perceptron
- machine learning
- test generation
- computer programs
- back propagation
- data sets
- computer aided
- java bytecode
- verification method
- formal verification
- logic programming
- artificial intelligence
- multi layer
- control system
- neural nets
- feed forward
- neural network model