Download

SAL is now open source, under the GNU General Public License (GPL). Informally, this means you can get the sources, and do whatever you want with them, except distribute them with software that is not available under a GPL-compatible license. SAL uses a dual license model; if you are interested in alternative licensing terms contact us at sal-license@csl.sri.com.

There are two sets of SAL binaries, depending on whether Yices is included. Yices requires acceptance of a "click-through" license, the Yices-free binaries can simply be downloaded. Note that you can get Yices separately from http://yices.csl.sri.com and it will work with any of the binaries.

SAL Version 3.0 (released December 11, 2006)

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

SAL 3.0 Sources

• 3.0 Sources for all platforms

SAL 3.0 Binaries with Yices

• Linux 2.4/i686 (32bit Intel Pentium and compatible)
• Linux 2.4/x86_64 (64bit AMD/Intel and compatible)
• Mac OS X (version 10.4) for Intel
• Mac OS X (version 10.4) for PowerPC
• Solaris 2.10 (Sparc)
• Cygwin (Windows - 32bit Intel) - You need to install Cygwin first

SAL 3.0 Binaries without Yices

• Linux 2.4/i686 (32bit Intel Pentium and compatible)
• Linux 2.4/x86_64 (64bit AMD/Intel and compatible)
• Mac OS X (version 10.4) for Intel
• Mac OS X (version 10.4) for PowerPC
• Solaris 2.10 (Sparc)
• Cygwin (Windows - 32bit Intel) - You need to install Cygwin first.

Older Versions

Last modified: Fri 05 Jan 2007 12:13 PST
Maintainer: Bruno Dutertre