NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.
Haiyi LiuShaoying LiuGuangquan XuAi LiuDingbang FangPublished in: Int. J. Softw. Eng. Knowl. Eng. (2024)
Keyphrases
- formal verification
- model checking
- neural network
- temporal logic
- automated verification
- model checker
- bounded model checking
- pattern recognition
- symbolic model checking
- artificial neural networks
- formal specification
- neural nets
- multilayer perceptron
- program slicing
- multi layer
- back propagation
- genetic algorithm
- training process
- feed forward
- recurrent neural networks
- formal methods
- fault diagnosis
- object oriented
- web services
- artificial intelligence