Formal specification and verification of a procedural protocol: case study.
Richard LaiPublished in: Softw. Eng. J. (1995)
Keyphrases
- formal specification
- protocol specification
- case study
- model checker
- model checking
- formal methods
- concurrent systems
- specification languages
- object oriented design
- specification language
- process algebra
- formal verification
- communication protocols
- reverse engineering
- temporal logic
- software development
- cryptographic protocols
- formal analysis
- real world
- data abstraction
- software components
- bounded model checking
- formal specification language
- computation tree logic
- transformation rules
- open source