Tzoref and Orna Grumberg. Automatic refinement and vacuity detection for Symbolic Trajectory Evaluation (2006)

by Rachel
Venue:In 18th International Conference on Computer Aided Verification (CAV’06), LNCS 4144