A figure of merit for assertions in verification.

Samuel Hertz, Debjit Pal, Spencer Offenberger, Shobha Vasudevan

Browse the full ASPDAC paper archive.