Automatic refinement and vacuity detection for symbolic trajectory evaluation (2006)

by R Tzoref, O Grumberg
Venue:in Computer Aided Verification, 18th International Conference: CAV 2006, ser. LNCS