Login / Signup
Introduction of Virtualization Technology to Multi-Process Model Checking.
Watcharin Leungwattanakit
Cyrille Valentin Artho
Masami Hagiya
Yoshinori Tanabe
Mitsuharu Yamamoto
Published in:
NASA Formal Methods (2009)
Keyphrases
</>
model checking
temporal logic
formal verification
formal specification
finite state
temporal properties
automated verification
finite state machines
model checker
verification method
partial order reduction
timed automata
process model
pspace complete
epistemic logic
reachability analysis
artificial intelligence