Efficient Detection of Vacuity in Temporal Model Checking (0)

by I Beer, S Ben-David, C Eisner, Y Rodeh
Venue:FMSD