The Sigali tool, an associated formal system for formal verification and controller synthesis. Sigali is developed together with the Vertecs project. More documentation about Sigali can be found here.


After the download, see the installation procedure.

Platform Versions Tested on
Linux 2.3 (October 2006) Fedora Core release 6
Solaris 2.3 (October 2006) SunOS 5.7
MacOS/Intel 2.3 (October 2006) MacOs 10.4.8(Darwin 8.8.1)
MacOS/PowerPC 2.3 (October 2006) MacOs 10.3.7(Darwin 7.9.0)
Windows 2.3 (October 2006) Windows NT, XP, 2000