Download
The Polychrony toolset distribution, contains:
- The Signal Toolbox, a batch compiler for the Signal language. An associated GUI is also provided.
- the following components that run under Eclipse (tested on Luna version):
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.
Registration
Please take a short moment to fill out our User Registration Form. You will receive release informations.