Specification-Driven Neural Network Reduction for Scalable Formal Verification.
Tobias LadnerMatthias AlthoffPublished in: CoRR (2023)
Keyphrases
- formal verification
- neural network
- model checking
- bounded model checking
- symbolic model checking
- model checker
- automated verification
- back propagation
- artificial neural networks
- data driven
- neural network is trained
- neural network model
- bp neural network
- recurrent neural networks
- program slicing
- prediction model
- temporal logic
- network architecture
- multi layer perceptron
- self organizing maps
- transition systems
- orders of magnitude
- knowledge based systems
- fuzzy logic
- genetic algorithm