Sigali

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.

Download

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