Old Release Notes

This page contains the links to the release notes of the previous versions of the FSAP/NuSMV-SA tool.

• version 1.2.3 release notes.

• version 1.2.2 release notes.

• version 1.2.1 release notes.

• version 1.2.0 release notes.

• version 1.1.1 release notes.

• version 1.1.0 release notes.

• version 1.0.1 release notes.

• version 1.0.0 release notes.

• version 0.9.9-1 release notes.

• version 0.9.9 release notes.

• version 0.9.8 release notes.

• version 0.9.6 release notes.

• version 0.9.5-2 release notes.

• version 0.9.5-1 release notes.

• version 0.9.4 release notes.

• version 0.9.3 release notes.

• version 0.9.2 release notes.

• version 0.9.1 release notes.

Version 0.9.1 was the first release of the FSAP/NuSMV platform.

Last Update: $Date: 2006/12/04 11:51:48 $