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,
SAL 3.0 Sources
See the included README file for build instructions.
SAL 3.0 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.0 Binaries without Yices
Last modified: Fri 15 Dec 2017 06:28 PST
Maintainer: Bruno Dutertre