if
you are interested in getting a license).FSAP/NuSMV-SA is a safety analysis tool based on the NuSMV2 tool.
FSAP/NuSMV-SA is available for download to the partners of the ESACS/ISAAC consortium. The platform is still at an early stage of development and it is made available for evaluation purposes only. The tool comes with no warranty whatsoever.
We also kindly ask the partners of the consortium to notify us of the download and use the platform.
Usage and distribution is restricted to the partners of the ESACS/ISAAC projects. Please, do not redistribute the software.
At the moment, the software is
licensed
only for evaluation or teaching purposes. The evaluation requires the
prior signing of a software license, which includes a non-disclosure
agreement. A license template can be downloaded
here.
(The template is provided for reference only, please contact
if
you are interested in getting a license).
See the Release Notes for further details on the package.
|
FSAP/NuSMV-SA 1.2.4 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux Desktop (version 4) |
|
|
FSAP/NuSMV-SA 1.2.3 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.2.2 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.2.1 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.2.0 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.1.1 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.1.0 |
File |
Notes |
|
Windows |
||
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.0.1 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 1.0.0 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 0.9.9.1 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 9.0 |
|
|
FSAP/NuSMV-SA 0.9.9 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
FSAP/NuSMV-SA 0.9.8 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.6 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.5-2 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.5-1 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.4 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.3 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.2 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
|
|
FSAP/NuSMV-SA 0.9.1 |
File |
Notes |
|
Windows |
|
|
|
Red Hat Linux 7.0 |
|
Last Update: $Date: 2008/08/11 13:56:50 $