Abstract and model check while you prove (1999)

by H SAIDI, N SHANKAR
Venue:In Computer-Aided Verification, N. Halbwachs and D. Peled, Eds. Lecture Notes in Computer Science