CheckINN: Wide Range Neural Network Verification in Imandra.
Remi DesmartinGrant O. PassmoreEkaterina KomendantskayaMatthew DaggitPublished in: PPDP (2022)
Keyphrases
- wide range
- neural network
- neural network model
- bp neural network
- artificial neural networks
- back propagation
- pattern recognition
- neural network is trained
- recurrent neural networks
- fuzzy artmap
- person identification
- model checking
- real world
- multi layer
- verification method
- concurrent systems
- feed forward neural networks
- formal analysis
- incremental learning
- neural nets
- associative memory
- real time
- self organizing maps
- fault diagnosis
- network architecture
- temporal logic
- hopfield neural network
- cryptographic protocols
- learning algorithm
- backpropagation neural network
- genetic algorithm
- machine learning
- hybrid neural network