Version 1.2.4 is OUT!
Version 1.2.3 is OUT!
Version 1.2.2 is OUT!
Version 1.2.1 is OUT!
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.
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 $