Basic protocols, message sequence charts, and the verification of requirements specifications.
Alexander A. LetichevskyJulia V. KapitonovaA. A. Letichevsky Jr.Vladislav A. VolkovSergey BaranovThomas WeigertPublished in: Comput. Networks (2005)
Keyphrases
- protocol specification
- functional requirements
- automated verification
- message delivery
- concurrent systems
- asynchronous circuits
- formal verification
- cryptographic protocols
- bounded model checking
- model checking
- written in natural language
- messages exchanged
- communication protocols
- application specific
- high level
- agent communication language
- formal specification
- real time systems
- timing constraints
- face verification
- model checker
- commit protocols
- state machines
- software requirements
- input data