Dynamic abstraction using SAT-based BMC.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle

Browse the full DAC paper archive.