Sign in
Efficient state space exploration: Interleaving stateless and state-based model checking.
Malay K. Ganai
Chao Wang
Weihong Li
Published in:
ICCAD (2010)
Keyphrases
</>
model checking
finite state machines
state space
space exploration
petri net
model checker
transition systems