SLAM project

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Abstraction_model_checking/FkIQCN99">Abstraction model checking</a></li>
<li>the <a href="/facts/BLAST_model_checker/jaHt31L0">BLAST model checker</a>, a model checker similar to SLAM that uses "lazy abstraction"</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://research.microsoft.com/slam">Official website</a></li></ul>

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

<ol>
<li id="fn:1"><p>Ball, Thomas; Cook, Byron; Levin, Vladimir; and Rajamani, Sriram K.; SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft; Lecture Notes in Computer Science (LNCS), Vol. 2999: Boiten, Eerke A.; Derrick, John; and Smith, Graeme; eds.; Fourth International Conference on Integrated Formal Methods (IFM 2004), 4–7 April 2004, Canterbury, GB, Springer, Berlin/Heidelberg, pp. 1–20 <a href="http://research.microsoft.com/pubs/70038/tr-2004-08.pdf" target="_blank">http://research.microsoft.com/pubs/70038/tr-2004-08.pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Ball, Thomas; Levin, Vladimir; and Rajamani, Sriram K.; A decade of software model checking with SLAM; Communications of the ACM, Vol. 54(7), pp. 68–76 (July 2011) <a href="https://doi.org/10.1145/1965724.1965743" target="_blank">https://doi.org/10.1145/1965724.1965743</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Mondok, Matt; Microsoft's Slam: stay in touch with, stalk your friends; Ars Technica, 2006 October 10 <a href="https://arstechnica.com/microsoft/news/2006/10/5573.ars" target="_blank">https://arstechnica.com/microsoft/news/2006/10/5573.ars</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

SLAM project open-in-new

SLAM project