Managing verification error traces with bounded model debugging.

Sean Safarpour, Andreas G. Veneris, Farid N. Najm

Browse the full ASPDAC paper archive.