Deductive Verification via the Debug Adapter Protocol.
Gidon ErnstJohannes BlauToby MurrayPublished in: F-IDE@NFM (2021)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- colored petri nets
- formal verification
- lightweight
- formal proof
- coloured petri nets
- verification method
- abductive inference
- signature verification
- communication protocols
- object oriented
- file transfer
- formal methods
- database systems
- authentication protocol
- application layer
- low latency
- asynchronous circuits
- explanation based learning
- database languages
- hypothesis formation
- neural network