Vacuity detection in temporal model checking (0)

by O Kupferman, M Y Vardi
Venue:STT& T