STP: A Mechanized Logic for Specification and Verification.
Robert E. ShostakRichard L. SchwartzP. M. Melliar-SmithPublished in: CADE (1982)
Keyphrases
- asynchronous circuits
- formal verification
- model checking
- model checker
- bounded model checking
- transition systems
- linear temporal logic
- concurrent systems
- protocol specification
- verification method
- formal methods
- temporal constraints
- formal specification
- state machine
- formal language
- temporal logic
- logic programming
- epistemic logic
- high level
- modal logic
- specification languages
- operational semantics
- defeasible logic
- colored petri nets
- classical logic
- data exchange