Equivalence Checking Using Abstract BDDs.

Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke

Browse the full ICCD paper archive.