This consists of development tools targeting the design of reactive programs (typically, for critical embedded systems) made available by the synchronous team.
The features:
- The language compiler and interpreter
- The reactive system environment modeling language interpreter
- The automated testing tool
- The Lesar model-checker
- The (Reactive Programs) debugger
- The gnuplot-rif and sim2chro data visualizers
The gitlab projects hosting the different tools are accessible from:
