Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.

Rachel Tzoref, Orna Grumberg

Browse the full CAV paper archive.