On the Formal Specification and Verification of a Multiparty Session Protocol.
P.-C. ChengVirgil D. GligorPublished in: IEEE Symposium on Security and Privacy (1990)
Keyphrases
- multi party
- formal specification
- protocol specification
- model checking
- model checker
- concurrent systems
- formal methods
- privacy preserving
- specification languages
- process algebra
- temporal logic
- specification language
- object oriented design
- formal verification
- reverse engineering
- turn taking
- communication protocols
- grid workflow
- floor control
- description language
- planning domains
- mental states
- bounded model checking
- open source
- asynchronous circuits
- orders of magnitude
- knowledge representation
- high level
- case study