Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.
Joseph R. KiniryPatrice ChalinClément HurlinPublished in: VSTTE (2005)
Keyphrases
- verification method
- model checking
- formal verification
- face verification
- information retrieval
- integrating multiple
- asynchronous circuits
- concurrent systems
- neural network
- artificial intelligence
- bayesian networks
- user interaction
- computer graphics
- signature verification
- cryptographic protocols
- person identification