Home Intro Docs Download Mail FM Tools


SAL Version 3.1 (released March 7, 2012)

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

SAL 3.1 Sources

See the included README file for build instructions.

SAL 3.1 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.1 Binaries without Yices

Older Versions

Home Intro Docs Download Mail FM Tools

Last modified: Mon 26 Feb 2018 17:26 PST
Maintainer: Bruno Dutertre