Keyphrases
- formal verification
- neural network
- model checking
- automated verification
- model checker
- pattern recognition
- bounded model checking
- symbolic model checking
- neural nets
- fuzzy logic
- genetic algorithm
- feed forward
- recurrent neural networks
- neural network model
- self organizing maps
- artificial neural networks
- integer programming
- functional verification
- training process
- multilayer perceptron
- radial basis function
- fault diagnosis