A Practical Approach to Coverage in Model Checking.

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi

Browse the full CAV paper archive.