Efficient state space exploration: Interleaving stateless and state-based model checking.

Malay K. Ganai, Chao Wang, Weihong Li

Browse the full ICCAD paper archive.