Dezyne and Dezyne-IDE 2.12.0 released

April 16, 2021

We are delighted to announce Dezyne 2.12: The first release to include a complete state diagram for interfaces, components and systems.

Dezyne introduces a new command to explore models (dzn explore) that can generate an LTS in Aldebaran format a state diagram in DOT format for interfaces, components and systems.

This release also introduces language packs, and re-introduces C# as a separate language pack.

Dezyne-IDE re-introduces a state view: ide state. Unlike previous versions of the state diagram, this one displays the values of each state variable involved in constraining the behavior, i.e. for components this includes the interface state variables of its ports, and for systems this also includes the state variables of its inner components.

The documentation is available here:

We will evaluate your reports and track them via the Gitlab dezyne-issues project, see our guide to writing helpful bug reports.

What's next?

In the upcoming release(s) we aim to integrate the new system simulator in Dezyne-IDE. In the core of Dezyne we aim to extend the language with aspects like: implicit interface constraints, hierarchical behaviors, data-interfaces, as well as release the Dezyne language core as free software.

The Verum Team


Here are the binary downloads and a GPG detached signature[*]:
dezyne-2.12.0-x86_64-linux.tar.gz (55MB) (118MB)
dezyne-ide-2.12.0-x86_64-linux.tar.gz (74MB) (157MB)

Here are the GPG detached signatures[*]:

Here are the MD5 and SHA1 checksums:

34faedd5fd72f2e5af82157feb6da95c  dezyne-2.12.0-x86_64-linux.tar.gz
4a9c5caa57e360b83e8e3799f685d12e  dezyne-ide-2.12.0-x86_64-linux.tar.gz
45611b9706a74b4175a2775a545231efc7723cf4  dezyne-2.12.0-x86_64-linux.tar.gz
656c361e0836a4f0dcafc2f390d6f53a5b00206f  dezyne-ide-2.12.0-x86_64-linux.tar.gz

[*] Use a .sig file to verify that the corresponding file (without the .sig suffix) is intact. First, be sure to download both the .sig file and the corresponding tarball. Then, run a command like this:

gpg --verify dezyne-2.12.0-x86_64-linux.tar.gz.sig

If that command fails because you don't have the required public key, then run this command to import it:

gpg --keyserver --recv-keys 1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273

and rerun the gpg --verify command.

Get informed, get involved

Join #dezyne on



Changes in 2.12.0 since 2.11.0

Dezyne core

Changes in 2.12.0 since 2.11.0

About Dezyne

In Dezyne, you define components and their interfaces through a familiar and compact C/Java like-language. The Dezyne language is targeted at the logic or event-driven behaviour of an application. The interfaces are the specification and the components are the implementation.

Dezyne automatically verifies semantic correctness of the logic behaviour and proves that the components correctly implement the interfaces. A user can simulate the behaviour to validate whether this is as intended. Diagrams and logical views are generated automatically from the language description. As a final step code can be generated in a number of standard programming languages.

Without having to rely on a process Dezyne automatically highlights problems areas, stimulates communication about these and enforces that components work together.

About Verum is a leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems.

At Verum, we help our customers and partners solve the most challenging software issues of today and tomorrow. We support customers with our product Dezyne, a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for embedded systems combined with consultancy services.