Abstract and model check while you prove (1999)

by Sa di and N Shanhm
Venue:In C'AV PP: C'o~pu~er-~ided Verijic~ion, LNCS 1633