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.5, April 2019
After the download, see the
installation procedure.
Download, Version 2.4, June 2015
After the download, see the
installation procedure.