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
Last modified: Thu 26 Apr 2018 11:18 PDT
Maintainer: Bruno Dutertre