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.