DeepAbstract: Neural Network Abstraction for Accelerating Verification.
Pranav AshokVahid HashemiJan KretínskýStefanie MohrPublished in: CoRR (2020)
Keyphrases
- neural network
- back propagation
- hardware designs
- high level
- model checking
- bounded model checking
- pattern recognition
- artificial neural networks
- multilayer perceptron
- neural network model
- genetic algorithm
- fuzzy logic
- image reconstruction from projections
- bp neural network
- neural network is trained
- verification method
- face verification
- prediction model
- training algorithm
- multi layer
- neural nets
- real time
- recurrent neural networks
- temporal logic
- artificial intelligence
- fuzzy neural network
- formal analysis
- neural model
- radial basis
- self organizing maps
- search engine
- functional verification
- hybrid neural network