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.