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