News & Events - Formal verification & Model driven development - Dezyne | Verum

News

Increasing the power of verification

Increasing the power of verification

To keep pace with the demand for more powerful verification, Verum has completed the integration of a completely new, game changing verification engine into Dezyne..

Dezyne Challenge Winners 2017

Dezyne Challenge Winners 2018

This year we asked the participants of the Dezyne Challenge to develop a small, illustrative example of the use of Dezyne and to provide us with ideas on how Dezyne could be made easier and more compelling to use. Learn more about the Challenge!

Dezyne release notes

Fresh Release Notes Dezyne version 2.7.x

On the 3rd of May 2018 service 2.7.1 has been replaced with service 2.7.2 as Default. A recap of the most important fixes and improvements

Verum awarded €1M Innovation Credit from Dutch Government

The “Innovatiekrediet” is one of the primary instruments that the Dutch government uses to finance the development of new products and services with a strong business case. We are delighted to announce that Rijksdienst voor Ondernemend Nederland (RVO) has recently …

Sign up for our Newsletter

Upcoming Events

Discover Dezyne. Join a workshop

Would you like to know how model-driven software design tool can contribute to developing to 50% more efficiently?