The Verum team is pleased to announce that Dezyne Release 1 is released on the 2nd of July 2015.

This version is free for non commercial use.

If you are interested in a license for commercial evaluation or commercial usage, please contact


Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state based, event driven or concurrent software systems. It leads to generated code that is robust, reliable and trustworthy.


Release 1 is the first commercially supported version of Dezyne. It includes the following key features:

  • Create models for control systems using the Dezyne Modelling Language that

    • is easy to use for C, C++, C#, Java programmers

    • uses standard programming concepts: variables, assignments, functions, if-then-else

    • is component based where a component has a clear responsibility and an interface defines the contract/protocol between components

    • supports easy integration with widely used development tools (configuration and build management).

  • Create models for control systems using a widely used Integrated Development Environment

    • that is Eclipse based: model and program in one environment !

    • the Visual Studio version will follow soon.

  • Explore your models using the Viewers

    • With a System viewer, State diagram, State and Event tables, Sequence diagram to show various aspects of your models

    • Where the System view allows to have an overview of and explore the structure of your system with all its subsystems, components and interfaces

    • Where the State table view will help learning ASD users how to model in Dezyne.

  • Explore your models using the Simulator that allows you to

    • explore if your design is really doing what it is supposed to do.

    • generate traces that can be saved and replayed later.

    • follow all variable updates and state changes in detail using the watch window.

  • Verify your models using the Automated Verification Engine that

    • ensures all components adhere to the contract/protocol of its surrounding interfaces

    • discovers hidden defects (errors, illegal behaviour, deadlocks, etc.) fully automatically

    • verifies with a factor of 2-3 faster than the ASD verification engine.

  • Generate code that can be trusted using the Code Generator

    • supporting most common programming languages, currently C++ 2011 and 2003, others will soon follow.

    • producing generated code that can be easily integrated with legacy code

  • Convert existing ASD Models using the Converter

    • that automatically converts ASD Models into Dezyne models

  • Learn Dezyne with a full Set of Examples

    • that can be loaded in the tool to explore and learn Dezyne, or used as starting point for your design

  • Learn Dezyne using the Integrated Help

    • with all info on the language, the tool, how to build models and integrate generated code with (legacy) handwritten code directly available from the client.

  • Use all the main Dezyne features from the Command Line Client

    • that supports build integration and scripting in general

Known issues:

There are a few known issues still that we will improve quickly:

  • Occasionally when stepping back in simulation the Watch Window wrongly displays the initial state of the model for which no line numbers are shown. When this happens, pressing the “Step to last” button brings the Watch window to the correct state.

  • An interface compliance error may be falsely reported for simulation traces where a component does not interact with its environment on an output event from a required port.

  • The Code Completion / Code Assistant feature offers in a few cases too many or invalid options. Especially Code completion after a . (dot) is not yet working properly for a number of cases, however, when this feature is used before a . (dot), it offers the correct options.

  • There are two kinds of language checks: one is performed on the fly while typing, and the other is performed after saving. Since any found errors are displayed in the same way this can be confusing in some cases.

  • Scrolling in the system view and state chart is not always smooth on Mac and sometimes a scroll bar is missing. This manifests itself mainly when using the internal browser and is a known bug of the visual library that is used for all views (GoJS).

  • Printing on a Mac is not yet possible due to a known issue with the Paperclips library with SWT cocoa

  • Using a ; inside an extern type expression (the part between dollar signs) will result in a syntax error. Therefore avoid the ; sign in these type expressions.

Your free copy of Dezyne is waiting for you, and we encourage you to put Dezyne 1.0.1 to good use and provide us with all your feedback.

Good Dezyning!

The Verum team.