DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok Vahid Hashemi Jan Kretínský Stefanie Mohr

Published 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