Iterative Abstraction using SAT-based BMC with Proof Analysis.

Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar

Browse the full ICCAD paper archive.