TAPAs model checker

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/List_of_Model_Checking_Tools/N3aJ9UQ5">List of Model Checking Tools</a></li></ul>

<ul><li>F. Calzolai, R. De Nicola, M. Loreti, F. Tiezzi. <a href="https://doi.org/10.1007%2F978-3-540-89287-8_4">TAPAs: a Tool for the Analysis of Process Algebras</a>. In Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) Special Issue, volume 5100 of <a href="/facts/LNCS/1UeA77BC">LNCS</a>, <a href="/facts/Springer_Science%252BBusiness_Media/nAesf6nT">Springer-Verlag</a>, pages 54–70, 2008.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://web.archive.org/web/20100703152905/http://rap.dsi.unifi.it/tapas/en/index.htm">TAPAS website</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>JACK (Just Another Cuncurrency Kit) Web page <a href="https://web.archive.org/web/20110722030357/http://matrix.iei.pi.cnr.it/projects/JACK/jack3.html" target="_blank">https://web.archive.org/web/20110722030357/http://matrix.iei.pi.cnr.it/projects/JACK/jack3.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

TAPAs model checker open-in-new

TAPAs model checker