Try it for free. The trial version is limited in the number of supported states and transitions.

If you purchase a license, a digitally signed personalized license file is issued to you, which must be downloaded and saved in the installation directory. This disables the evaluation mode.

The codegen is bundled as system independent java jar file and can be used from the command line on various operating systems. Only precondition is a recent Open JDK (JDK17 recommended) version. No installation is required.

Also use this version if you plan to run the code generator in a container or on a build server.

• SinelaboreRT Code Generator Manual in PDF format (also part of the trial package)

• Cadifra UML Editor - a fast UML tool for Windows. This editor is used for several examples on the web site and the manual. There is a 30 days trial version that you can download and test.

• Graphviz is an open source graph visualization software and needed for the graphical editor and simulator which is built into the code generator.

• For this packaged version of the codegen Java 17 is required. Download it from the official website and make sure it is in your bin path. To test this open a terminal and type (example output)

java -version

openjdk 17-ea 2021-09-14