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

Cached

Download Links

by Rachel Tzoref , Orna Grumberg
Venue:In Computer Aided Verification (CAV
Citations:8 - 0 self