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):
environment, a previous
front-end to the Signal Toolbox in the Eclipse environment, can be downloaded here
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.