Yasm: Software Model-Checker
Releases
Documentation
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]