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

Published in: TACAS (1999)

Keyphrases