Liveness by Invisible Invariants.

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck

Browse the full FORTE paper archive.