Verification of Non-Linear Specifications for Neural Networks.
Chongli QinKrishnamurthy (Dj) DvijothamBrendan O'DonoghueRudy BunelRobert StanforthSven GowalJonathan UesatoGrzegorz SwirszczPushmeet KohliPublished in: CoRR (2019)
Keyphrases
- neural network
- automated verification
- concurrent systems
- formal verification
- model checking
- highly non linear
- asynchronous circuits
- bounded model checking
- model checker
- delay insensitive
- formal specification
- temporal logic
- pattern recognition
- artificial neural networks
- formal methods
- neural nets
- protocol specification
- petri net
- reactive systems
- real time
- machine learning
- genetic algorithm
- neural network model
- high level
- face verification
- radial basis function
- specification language
- distributed systems
- self organizing maps
- recurrent neural networks
- fault diagnosis
- cryptographic protocols
- back propagation
- verification method
- signature verification
- activation function
- network architecture
- fuzzy systems
- feed forward