IIV: An invisible invariant verifier. (2005)

by 6I Balaban, Y Fang, A Pnueli, L Zuck
Venue:In Computer Aided Verification,