Verifying properties of hardware and software by predicate abstraction and model checking.

Randal E. Bryant, Sriram K. Rajamani

Browse the full ICCAD paper archive.