BLAST model checker

<h2 id="achievements">Achievements</h2>
<p>BLAST came first in the category DeviceDrivers64 in the 1st Competition on Software Verification (2012) that was held at TACAS 2012 in <a href="/facts/Tallinn/IBLBVtHt">Tallinn</a>.<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a>
</p><p>BLAST came third (category DeviceDrivers64) in the 2nd Competition on Software Verification (2013) that was held at TACAS 2013 in <a href="/facts/Rome/bh1Ttx3T">Rome</a>.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>
</p><p>BLAST came first in the category DeviceDrivers64 in the 3rd Competition on Software Verification (2014), that was held at TACAS 2014 in <a href="/facts/Grenoble/KIBbRRaF">Grenoble</a>.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a>
</p>

Notes

<ul><li>Pavel Shved; Mikhail Mandrykin; Vadim Mutilin (2012). "Predicate Analysis with BLAST 2.7.". In Flanagan, Cormac; König, Barbara (eds.). <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Lecture Notes in Computer Science. Vol. 7214. Springer-Verlag. pp. 525–527. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-642-28756-5.</li></ul>
<ul><li>Beyer, Dirk; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak (2007). "The Software Model Checker Blast". <i>International Journal on Software Tools for Technology Transfer</i>. 9 (5–6): 505–525. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs10009-007-0044-z">10.1007/s10009-007-0044-z</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:1662778">1662778</a>.</li>
<li>Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar & Gregoire Sutre (2003). "Software Verification with Blast". In Ball, Thomas & Rajamani, Sriram K. (eds.). <i>Proceedings of the 10th SPIN Workshop on Model Checking Software (SPIN 2003)</i>. Lecture Notes in Computer Science. Vol. 2648. Springer-Verlag. pp. 235–239. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 3-540-40117-2.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://mtc.epfl.ch/software-tools/blast/">BLAST 2.5 website</a></li>
<li><a href="http://forge.ispras.ru/projects/blast/">BLAST 2.7 website</a></li></ul>

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

<ol>
<li id="fn:1"><p>Dirk Beyer (2012). "Competition on Software Verification (SV-COMP)" (PDF). Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and of Analysis Systems. Springer-Verlag, Heidelberg. <a href="http://www.sosy-lab.org/~dbeyer/Publications/2012-TACAS.Competition_on_Software_Verification.pdf" target="_blank">http://www.sosy-lab.org/~dbeyer/Publications/2012-TACAS.Competition_on_Software_Verification.pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Dirk Beyer (2013). "Second Competition on Software Verification (Summary of SV-COMP 2013)" (PDF). Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and of Analysis Systems. Springer-Verlag, Heidelberg. <a href="http://www.sosy-lab.org/~dbeyer/Publications/2013-TACAS.Second_Competition_on_Software_Verification.pdf" target="_blank">http://www.sosy-lab.org/~dbeyer/Publications/2013-TACAS.Second_Competition_on_Software_Verification.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Dirk Beyer (2014). "Third Competition on Software Verification (Summary of SV-COMP 2014)" (PDF). Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and of Analysis Systems. Springer-Verlag, Heidelberg. <a href="http://www.sosy-lab.org/~dbeyer/Publications/2014-TACAS.Status_Report_on_Software_Verification.pdf" target="_blank">http://www.sosy-lab.org/~dbeyer/Publications/2014-TACAS.Status_Report_on_Software_Verification.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

BLAST model checker open-in-new

BLAST model checker