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, Version 2.4, June 2015

After the download, see the installation procedure.

• Linux 64 bits
• Linux 32 bits
• intel Mac
• Windows. A new version will be provided soon.