On the Effectiveness of Assertion-Based Verification in an Industrial Context.

Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jrme Quvremont

Browse the full FMICS paper archive.