Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren

Browse the full TACAS paper archive.