News Download

>>>>> 18/12/2006. Version 1.2.4 is OUT!
A new release of FSAP/NuSMV-SA (release number 1.2.4) is available for download to the partners of the ISAAC consortium.
See the Release Notes for further details on the package.

>>>>> 03/08/2006. Version 1.2.3 is OUT!
A new release of FSAP/NuSMV-SA (release number 1.2.3) is available for download to the partners of the ISAAC consortium.
See the Release Notes for further details on the package.

>>>>> 22/05/2006. Version 1.2.2 is OUT!
A new release of FSAP/NuSMV-SA (release number 1.2.2) is available for download to the partners of the ISAAC consortium.
See the Release Notes for further details on the package.

>>>>> 05/04/2006. Version 1.2.1 is OUT!
A new release of FSAP/NuSMV-SA (release number 1.2.1) is available for download to the partners of the ISAAC consortium.
See the Release Notes for further details on the package.


FSAP/NuSMV-SA is a safety analysis tool based on the NuSMV2 tool.

FSAP/NuSMV-SA 1.2.4 is the latest release of the platform.

Download Page
Release Notes

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 and is Copyright ©2002-2008 FBK.

Usage and distribution is restricted to the partners of the ISAAC project. Please, do not redistribute the software to third parties.

We kindly ask the partners of the consortium to notify us if they download and use the platform.

Click here to access the archive of news ..



Last Update: $Date: 2008/02/11 17:08:57 $