Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.
Jeffrey J. JoycePublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- formal specification
- model checking
- higher order logic
- concurrent systems
- formal methods
- model checker
- process algebra
- asynchronous circuits
- higher order
- object oriented design
- grid workflow
- protocol specification
- specification languages
- specification language
- temporal logic
- theorem prover
- formal verification
- reverse engineering
- conditional logic
- workflow processes
- logical framework
- modal logic
- artificial intelligence