Improved reachability analysis of large finite state machines.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full ICCAD paper archive.