Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.
Michel CharpentierGérard PadiouPublished in: Parallel Process. Lett. (1998)
Keyphrases
- protocol specification
- provably correct
- formal methods
- model checker
- formal verification
- formal specification
- formal proof
- communication protocols
- coloured petri nets
- colored petri nets
- model checking
- formal analysis
- cryptographic protocols
- asynchronous circuits
- correctness criterion
- petri net
- theorem prover
- linear logic
- situation calculus
- lightweight
- description language
- specification language
- conceptual model
- verification method
- digital libraries