Download

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 fsap*REMOVE_THIS*@fbk.eu if you are interested in getting a license).

See the Release Notes for further details on the package.

Examples

The examples included in the distribution can also be found here to view or download.

Latest Release

FSAP/NuSMV-SA 1.2.4

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux Desktop (version 4)

FSAP-rhl.zip


Older Releases

FSAP/NuSMV-SA 1.2.3

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.2.2

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.2.1

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.2.0

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.1.1

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.1.0

File

Notes

Windows

FSAP-setup.exe

Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.0.1

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 1.0.0

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.9.1

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 9.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.9

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.8

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.6

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.5-2

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.5-1

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.4

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.3

File

Notes

Windows

FSAP-setup.exe


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.2

File

Notes

Windows

FSAP-win32.zip


Red Hat Linux 7.0

FSAP-rhl.zip


FSAP/NuSMV-SA 0.9.1

File

Notes

Windows

FSAP-win32.zip


Red Hat Linux 7.0

FSAP-rhl.zip






 

Last Update: $Date: 2008/08/11 13:56:50 $