Login / Signup
Parallelizing a Symbolic Compositional Model-Checking Algorithm.
Ariel Cohen
Kedar S. Namjoshi
Yaniv Sa'ar
Lenore D. Zuck
Katya I. Kisyova
Published in:
Haifa Verification Conference (2010)
Keyphrases
</>
model checking
temporal logic
deterministic finite automaton
optimal solution
search space
finite state
verification method
computational complexity
artificial intelligence
formal verification
binary decision diagrams
concurrent systems