Refactoring Neural Networks for Verification.
David ShriverDong XuSebastian G. ElbaumMatthew B. DwyerPublished in: CoRR (2019)
Keyphrases
- neural network
- pattern recognition
- back propagation
- fuzzy logic
- model checking
- artificial neural networks
- software systems
- genetic algorithm
- source code
- functional verification
- signature verification
- rule extraction
- face verification
- network architecture
- training process
- neural network model
- fault diagnosis
- computer vision
- fuzzy rules
- multi layer perceptron
- high level
- feature selection
- neural network is trained