Protocol Verification via Executable Logic Specifications.
Deepinder P. SidhuPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- model checker
- formal specification
- model checking
- formal verification
- protocol specification
- process algebra
- formal methods
- temporal logic
- epistemic logic
- asynchronous circuits
- bounded model checking
- transition systems
- description language
- specification language
- automated verification
- concurrent systems
- set theory
- verification method
- test suite
- delay insensitive
- modal logic
- finite state machines
- linear temporal logic
- reactive systems
- attribute grammars
- cryptographic protocols
- belief revision