Home Intro Wiki Docs FAQ Download Mail FM Tools
SAL

Download

SAL Version 3.2 (released May 15, 2012)

SAL 3.2 includes SALenv 3.0 (symbolic, bounded, and infinite-bounded model checkers, and related tools), and, optionally, Yices.

SAL 3.2 Sources

See the included README file for build instructions.

SAL 3.2 Binaries with Yices

This is probably the version you want, as some SAL features will not work without Yices. Yices requires agreement to a "click-through" license.

SAL 3.2 Binaries without Yices


Older Versions

Home Intro Wiki Docs FAQ Download Mail FM Tools

Last modified: Thu 01 Aug 2013 14:58 PDT
Maintainer: Bruno Dutertre