To be published in STTT

Fighting Livelock in the GNU i-Protocol:
A Case Study in Explicit-State Model Checking

[Abstract] ...... [Full Text] ...... [Appendix]



C source codes of the i-protocol:
Encoding of the i-protocol in VPL

Specifications used in this paper (gzipped tar file)

TACAS'99 paper
Last modified: Thu Sep 6 10:07:30 EDT 2001