Yasm: Software Model-Checker

Releases

• November 2005 release (includes compiled binary) yasm_nov2005.tar.bz2 (9.3M)
(Ubuntu Lucid Version)
• March 2008 release (includes compiled binary) (9.8M)
• PtYasm is Yasm enhanced with proof templates

Documentation

• Quick Start Guide

Publications

• A. Gurfinkel and M. Chechik. "Why Waste a Perfectly Good Abstraction?", In TACAS'06. [PDF] [Benchmark]
• A. Gurfinkel, O. Wei, and M. Chechik. "Systematic Construction of Abstractions for Model-Checking". In VMCAI'06, January 2006. [abstract] [PDF] [PS]