Abstract and model check while you prove (1999)

by H Sadi, N Shankar
Venue:In Proceedings of CAV’99, LNCS