L.: IIV: An invisible invariant verifier (2005)

by Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
Venue:In: Computer Aided Verification (CAV