A simulation environment for protocol specifications described in ESTELLE.
Jean-Pierre CourtiatAloysio PedrozaJean-Michel AyachePublished in: PSTV (1985)
Keyphrases
- simulation environment
- protocol specification
- simulation model
- simulation tool
- state machines
- model checker
- communication protocols
- lightweight
- authentication protocol
- formal verification
- coloured petri nets
- network protocols
- simulation tools
- cryptographic protocols
- functional requirements
- formal specification
- delay insensitive
- high level
- communication protocol
- multi party
- model checking
- user interface
- web services