Finding Good Counter-Examples to Aid Design Verification.

Grschwin Fey, Rolf Drechsler

Browse the full MEMOCODE paper archive.