The Polychrony toolset distribution, contains:
The SME environment, a previous front-end to the Signal Toolbox in the Eclipse environment, can be downloaded here.
The Sigali tool, an associated formal system for formal verification and controller synthesis, can be downloaded here.


Please take a short moment to fill out our User Registration Form. You will receive release informations.