Automated Stateful Protocol Verification.
Andreas V. HessSebastian MödersheimAchim D. BruckerAnders SchlichtkrullPublished in: Arch. Formal Proofs (2020)
Keyphrases
- cryptographic protocols
- protocol specification
- model checking
- formal analysis
- model checker
- formal proof
- semi automated
- lightweight
- temporal logic
- formal specification
- automated analysis
- communication protocol
- functional verification
- verification method
- coloured petri nets
- database systems
- asynchronous circuits
- semi automatic
- digital libraries