IIV: An Invisible Invariant Verifier.

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck

Browse the full CAV paper archive.