Sign in
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
Lijun Wu
Huijia Huang
Kaile Su
Shaowei Cai
Xiaosong Zhang
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2015)
Keyphrases
</>
model checking
dynamic programming
computational complexity
temporal logic
artificial intelligence
search space
formal methods
verification method
automated verification
deterministic finite automaton
distributed systems
finite state
np hard
finite state machines