Coverage Metrics for Temporal Logic Model Checking.

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Browse the full TACAS paper archive.