Keyphrases
- formal verification
- program slicing
- neural network
- model checking
- bounded model checking
- automated verification
- model checker
- artificial neural networks
- symbolic model checking
- pattern recognition
- search space
- pruning method
- back propagation
- temporal logic
- neural nets
- recurrent neural networks
- multilayer perceptron
- neural network model
- pruning algorithm
- self organizing maps
- fuzzy logic
- feed forward
- pruning methods
- fault diagnosis
- source code
- knowledge base