The Verum team is pleased to announce that starting with the 13th of September 2016 Dezyne Release 2.1 is available for download.

This version is free for non-commercial use.

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

New features and improvements

Version 2.1.0 is an extension of Release 2.0.0, and comes with the following new features and improvements:

  • Proper installation and usage of Dezyne behind a company firewall/proxy

  • Improved navigation and display in the system view

  • There is no need to be complete in all states in a component. All non specified cases are considered 'illegals'.

  • Dezyne files do not need to be in the same folder but they have to be in subfolders of the source folder of a Dezyne Modelling Project or in referenced projects

  • Support for two new target languages: C++03 and C# (without support for multithreading)

  • Different background color for block of events in the trace view for set of events triggered by an eligible event selected by a user during simulation

  • Link between the Verify Results window and the Editor to enable jump to failure in the Editor

  • Multiple highlighting/marking for verification errors which are caused by data in the model file spread on multiple rows, like overlapping guards

  • The Dezyne documentation is improved with:

    • new pages about

      • the semantic execution model

      • restrictions on multiple provides for interfaces

      • error messages

    • improvements throughout the text based on customer feedback

Solved issues

  • 7135 Code generator bug (thread-safe shell)

  • 7134 'Timeout waiting for task' during long-lasting dezyne activities

  • 7132 Eclipse system view constantly snaps to the first model in its list

  • 7108 Compact/smarter completeness check on component behaviour

  • 7090 verificatie fout? (related to not needing to specify complete behaviours in components)

  • 7044 Minor enhancement request: empty line in trace on simulating each new event (solved with a different background color)

  • 7016 I want that the error text in the Sequence View is fitted to the available window size

  • 7008 Support importing Dezyne models located in different folders

  • 6973 The model below verifies, but the simulator does not show any triggers/buttons. (related to not needing to specify complete behaviours in components)

  • 6970 behaviour in default cases are still mandatory to specify …​ (related to not needing to specify complete behaviours in components)

Known issues

  • Due to access rights to files the Dezyne 2.0.0 Eclipse based stand-alone client with Java RTE can not be updated to 2.1.0. In order to be able to use Dezyne Release 2.1.0 with Java RTE please download it and pack it out. You can still open your "old" workspaces in the new client.

  • Views (i.e. system views, state charts, state and event tables) are not cleared if they can not be updated due to an error in the model or due to missing data

For a complete list of known issues click on the following link: Known issues in Dezyne

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

Good Dezyning!

The Verum team.