This page contains all the news regarding FSAP/NuSMV-SA tool that were published on the site.
>>>>>
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.
>>>>>
07/03/2006.
Version 1.2.0 is OUT!
A new release of
FSAP/NuSMV-SA (release number 1.2.0) is available for download to
the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>>
16/12/2005.
Version 1.1.1 is OUT!
A new release of
FSAP/NuSMV-SA (release number 1.1.1) is available for download to
the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>>
16/11/2005.
Version 1.1.0 is OUT!
A new release of
FSAP/NuSMV-SA (release number 1.1.0) is available for download to
the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>> 01/08/2005. Version 1.0.1 is OUT!
A new release of FSAP/NuSMV-SA (release number 1.0.1) is available for download to
the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>>
01/08/2005.
Version 1.0.0 is OUT!
A new release of
FSAP/NuSMV-SA (release number 1.0.0) is available for download to
the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>> 14/06/2005. Version 0.9.9-1 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.9-1) is available for download to the partners of the ISAAC consortium.
See the Release Notes for further details on the package.
>>>>> 10/10/2003. Version 0.9.9 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.9) is available for download to the partners of the ESACS consortium.
See the Release Notes for further details on the package.
>>>>> 15/09/2003. Version 0.9.8 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.8) is available for download to the partners of the ESACS consortium.
See the Release Notes for further details on the package.
>>>>> 23/07/2003. Version 0.9.6 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.6) is available for download to the partners of the ESACS consortium.
See the Release Notes for further details on the package.
>>>>> 28/05/2003. Version 0.9.5-2 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.5-2) is available for download to the partners of the ESACS consortium.
See the Release Notes for further details on the package.
>>>>> 10/04/2003. Version 0.9.5-1 is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.5-1) is available for download to the partners of the ESACS consortium.
See the Release Notes for further details on the package.
>>>>> 28/02/2003. Web site revamped.
The FSAP/NuSMV-SA site has been revamped and extended:
Pages can now be accessed without password (download still requires a password - get in touch with us to obtain a password).
Added information about Roadmap.
Reviewed the structure of the site.
New pages with references to technical papers, screenshots, ...
>>>>> 28/01/2003. FSAP/NuSMV-SA 0.9.4 is OUT!
A new release of FSAP/NuSMV-SA (release number
0.9.4) is available for download to the partners of the ESACS
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 and is Copyright ©2002-2003
ITC-irst.
Usage and distribution is restricted to the partners
of the ESACS 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.
See the Release Notes for further details on the package.
>>>>>
22/12/2002. Christmas Fault
Tree
For important information concerning the next days, please
have a look
here.
>>>>> 15/11/2002. FSAP/NuSMV-SA 0.9.3 is OUT!
A new release of FSAP/NuSMV-SA (release number
0.9.3) is available for download to the partners of the ESACS
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 and is Copyright ©2002
ITC-irst.
Usage and distribution is restricted to the partners
of the ESACS 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.
See the Release Notes for further details on the package.
>>>>> 23/09/2002. FSAP/NuSMV-SA 0.9.2 Beta is OUT!
A new release of FSAP/NuSMV-SA (release number 0.9.2 Beta) is
available for download to the partners of the ESACS 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 and is copyright (c)2002 ITC-irst.
We also
kindly ask the partners of the consortium to notify us if they
download and use the platform.
Usage and distribution is
restricted to the partners of the ESACS project. Please, do not
redistribute the software to third parties.
See the
Release Notes
for further details on the package.
>>>>> 13/09/2002. FSAP/NuSMV-SA 0.9.1 is OUT!
The first release of FSAP/NuSMV-SA (release number 0.9.1) is
available for download to the partners of
the ESACS 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 and is copyright (c)2002
ITC-irst.
We also kindly ask the partners of the consortium to
notify us if they download and use the platform.
Usage and
distribution is restricted to the partners of the ESACS project.
Please, do not redistribute the software to third parties.
See
the Release Notes
for further details on the package.
Last Update: $Date: 2006/12/04 11:51:48 $