An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.
Luca PulinaArmando TacchellaPublished in: CAV (2010)
Keyphrases
- artificial neural networks
- model checking
- hardware designs
- bounded model checking
- computational intelligence
- using artificial neural networks
- neural network
- high level
- feed forward
- back propagation
- face verification
- formal verification
- databases
- recurrent neural networks
- multilayer perceptron
- radial basis function
- signature verification
- data abstraction
- asynchronous circuits
- formal methods
- verification method
- application of artificial neural networks
- improved harmony search algorithm
- activation function
- input variables
- hybrid model
- neural network model
- artificial intelligence
- decision making
- real time
- multi layer perceptron
- machine learning
- information systems
- false acceptance rate
- hidden neurons
- refinement process
- case study
- fingerprint verification
- person identification
- face recognition
- low level
- soft computing
- hidden layer