Scalable conditional equivalence checking: An automated invariant-generation based approach.

Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav

Browse the full FMCAD paper archive.