Keyphrases
- formal verification
- neural network
- model checking
- automated verification
- model checker
- pattern recognition
- bounded model checking
- artificial neural networks
- fuzzy logic
- symbolic model checking
- multilayer perceptron
- recurrent neural networks
- neural nets
- neural network model
- multi layer
- functional verification
- feed forward
- back propagation
- genetic algorithm
- fuzzy systems
- artificial intelligence
- learning algorithm
- program slicing
- associative memory
- temporal logic
- training process
- self organizing maps