A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit <a rel="external noopener" href="http://www.cs.sunysb.edu/~sas/papers/tacas99.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
[chapter]
<span title="">1999</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
It is our contention that the i-protocol makes for a particularly compelling case study in protocol verification and for a formidable benchmark of verification-tool performance, for the following reasons ...
: 1) The i-protocol can be used to gauge a tool's ability to detect and diagnose livelock errors. 2) The size of the i-protocol's state space grows exponentially in the window size, and the entirety of ...
Sender
Model-Checking Results As discussed in the Introduction, the i-protocol makes for a formidable case study for verification tools, and forms the basis for an interesting comparative study. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49059-0_6">doi:10.1007/3-540-49059-0_6</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xpvrfkma5jbapiqh6xrnb7wscq">fatcat:xpvrfkma5jbapiqh6xrnb7wscq</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417234307/http://www.cs.sunysb.edu/~sas/papers/tacas99.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/d1/44d1178169903aa59346016d6bb62f1740a2a0df.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49059-0_6">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking
<span title="">2003</span>
<i title="Springer Nature">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit <a rel="external noopener" href="http://www.cs.sunysb.edu:80/~sas/papers/sttt03.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Since then, we have conducted a systematic case study on the protocol using four verification tools, viz. ...
livelock in version 1.04 of the protocol. ...
Warren for their valuable contributions to the i-protocol case study. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-002-0092-3">doi:10.1007/s10009-002-0092-3</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/35de7nxlazhtzchewczvvfdrbm">fatcat:35de7nxlazhtzchewczvvfdrbm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120317000050/http://www.cs.sunysb.edu:80/~sas/papers/sttt03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/56/a75658df33a5f854295c5a36f77b87f6aea330be.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-002-0092-3">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>