Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.
Michel CharpentierGérard PadiouPublished in: Parallel Process. Lett. (1998)
Keyphrases
- protocol specification
- colored petri nets
- petri net
- communication protocols
- formal specification
- formal verification
- formal methods
- cryptographic protocols
- coloured petri nets
- formal analysis
- state machines
- asynchronous circuits
- lightweight
- model checker
- model checking
- reactive systems
- high level
- communication protocol
- specification language
- multi party
- network protocols