Vacuity detection in temporal model checking (1999)

by O Kupferman, M Y Vardi
Venue:In Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods