Keyphrases
- formal verification
- program slicing
- neural network
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- pattern recognition
- multilayer perceptron
- artificial neural networks
- pruning method
- pruning algorithm
- neural nets
- pruning methods
- feed forward
- fuzzy logic
- genetic algorithm
- self organizing maps
- back propagation
- formal methods
- temporal logic
- description languages
- source code