IIV: An Invisible Invariant Verifier [chapter]

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
2005 Lecture Notes in Computer Science  
doi:10.1007/11513988_39 fatcat:khhmdzkotnfpnp5fpdbw6ssh5y