Keyphrases
- formal verification
- neural network
- model checking
- bounded model checking
- model checker
- pattern recognition
- symbolic model checking
- automated verification
- artificial neural networks
- back propagation
- temporal logic
- feed forward
- recurrent neural networks
- associative memory
- neural nets
- fuzzy systems
- program slicing
- functional verification
- multilayer perceptron
- neural network model
- fuzzy logic
- genetic algorithm