Login / Signup
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.
Kiyoharu Hamaguchi
Hiromi Hiraishi
Shuzo Yajima
Published in:
CAV (1991)
Keyphrases
</>
temporal logic
model checking
symbolic model checking
formal verification
model checker
bounded model checking
modal logic
satisfiability problem
finite state
formal specification
epistemic logic
formal methods
search algorithm
linear temporal logic
knowledge representation
state space