Executable Logic Specifications for Protocol Service Interfaces.
Deepinder P. SidhuCarole S. CrallPublished in: IEEE Trans. Software Eng. (1988)
Keyphrases
- protocol specification
- formal specification
- model checker
- model checking
- delay insensitive
- specification language
- communication protocols
- bounded model checking
- asynchronous circuits
- formal methods
- logic programming
- modal logic
- formal verification
- control flow
- web services
- service providers
- transition systems
- attribute grammars
- classical logic
- formal language
- concurrent systems
- cryptographic protocols
- service composition
- temporal logic
- state machine
- lightweight
- recursive programs
- user interface