Polychrony
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 |