Login / Signup
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.
Hiromi Hiraishi
Kiyoharu Hamaguchi
Hiroyuki Ochi
Shuzo Yajima
Published in:
CAV (1991)
Keyphrases
</>
model checking
computation tree logic
symbolic model checking
temporal logic
model checker
formal verification
bounded model checking
temporal properties
epistemic logic
formal specification
finite state
formal methods
binary decision diagrams
modal logic
orders of magnitude