The specification and verification of an experimental ATM signalling protocol.
Dieter BarnardSimon CrosbyPublished in: PSTV (1995)
Keyphrases
- protocol specification
- communication protocols
- formal specification
- formal verification
- cryptographic protocols
- model checker
- colored petri nets
- tcp ip
- formal methods
- model checking
- formal analysis
- asynchronous circuits
- atm networks
- petri net
- high level
- concurrent systems
- formal proof
- specification language
- computer networks