Dezyne 2.10.0 released

September 28, 2020

We are delighted to announce Dezyne 2.10: The first standalone release of Dezyne. Dezyne no longer depends on a server to do verification or code or view generation.

Dezyne 2.10 demarcates the "core" of the Dezyne language. Its intent is to offer the essentials in terms of language features and user experience. The "core" simulation function (linking the model to state or trace and vice versa) is not yet included. Also, "core" code generation is C++ and mCRL2 only.

The source code of the Dezyne core is prepared (by an almost full rewrite from an implementation in C++, javascript, python, perl, TCL, shell and java to a single implementation in GNU Guile Scheme for future dissemination of a reference implementation.

The documentation, which has not been fully updated for 2.10 yet, is available here:

What's next?

2.11 aims to re-introduce simulation and visualization similar to 2.9. Furthermore, Dezyne supporting features such as code browsing/navigation and a modicum of code completion will be provided by means of LSP, such that you can use your personal favorite LSP-aware editor.


Here are the binary downloads and a GPG detached signature[*]:
dezyne-2.10.0-x86_64-linux.tar.gz (55MB) (113MB)

Here are the GPG detached signatures[*]:

Here are the MD5 and SHA1 checksums:

0dc90695b938ebbc88e2b036cc75223e  dezyne-2.10.0-x86_64-linux.tar.gz
c4e0c790922fad118c1a9dec9ae4327f26668d26  dezyne-2.10.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.10.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.10.0 since 2.9.1

The Verum Team

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.