Publication | Closed Access

Efficient Detection of Vacuity in Temporal Model Checking