Transition-by-transition FSM traversal for reachability analysis in bounded model checking.

Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Browse the full ICCAD paper archive.