Discover Dezyne

the easiest way to build verifiably correct embedded software Play movie
scroll down
Icon See

About Dezyne

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. The results include a 50% reduction in development costs, 20% decrease in time to market and a 25% reduction in the cost of field defects.

Based on a powerful, open modelling language, Dezyne gives software engineers the ability to fully explore their designs using advanced simulation techniques. Automated formal verification discovers hidden defects that are otherwise practically impossible to find. Efficient code generation instantly turns verified models into executable results.

Dezyne is integrated into the Eclipse and Microsoft Visual Studio IDEs and linked to powerful cloud-based simulation, verification and code generation engines. Within the IDE, Dezyne provides a range of graphical views of models, (sub) systems and sequence traces that support the software engineer’s ‘mental model’ of his design and allows other stakeholders to understand the engineer’s work.

In short, Dezyne provides solutions for:

  • Building verifiably correct, robust and reliable state based,  event driven or concurrent systems
  • Understanding and simply visualising the architecture and design of sophisticated embedded systems
  • Communicating, reviewing and documenting the behaviour of software components and (sub) systems
  • Ensuring the on-going, long term integrity, reusability and maintainability of software architectures and designs

Freed from the constraints of conventional development methods, software engineers are able to focus on rapidly creating innovative embedded systems. The result is software that you can trust, based on evidence.

The benefits

  • Rapidly construct sophisticated control systems
  • Focus on your creativity while Dezyne manages your changes
  • Reason about your designs, no execution necessary
  • Uncover hidden defects, fully automatically
  • Work with a powerful language in an accustomed environment
  • Spend less time compiling, building and testing
  • Enjoy delivering code that you know is solid
Want to know more?
Robert Howe
Tel: +31402359090 Robert Howe
  • ReviewReview
    Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV

    “Over the last decade high tech systems have become more powerful, but also increasingly complex from software point of view. Sioux excels in engineering control systems by mastering and applying technologies like Verum’s model-driven software engineering tools. For more than 5 years these tools have boosted our ability to create defect free software. It is absolutely true that there is an increased productivity, resulting in reduced development and maintenance costs and therefore more room for adding customer value”

    Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV
  • ReviewReview
    Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV

    “FEI designs, manufactures, and supports the broadest range of high-performance microscopy workflows that provide images and answers in the micro-, nano-, and picometer scales. For over 5 years we have been working with the first generation of Verum’s model-driven software engineering tools. Their fully integrated design, verification and code generation toolset has delivered major benefits for FEI in terms of finding errors early and delivering better software at a lower cost. We have been involved in the development of the second generation of their tools and we expect that the new modelling language will minimise the overhead we have encountered so far in terms of learning curve and system integration issues.”

    Martijn Kabel, R&D SW Manager, FEI Company
Verum CommunityCommunity

Become part of our community and get started today

Benefit from the experience and the expertise of our team and other
Dezyne users

Dezyne. create explore verify trust
Register now for a free evaluation of Dezyne and get software design freedom today!

Register now and we will send you a download link to a free fully featured evaluation version

Sign up now and benefit!

Start using Dezyne

Invitation to Verum’s Community Meeting 2016

July 21, 2016
Learn about Dezyne from our Customers
Elekta (Nucletron), Prodrive Technology, Lely Technologies, Phenom World and Bitwise Europe are amongst the companies who have evaluated and adopted Dezyne in 2016. Each company has a story to tell about applying Dezyne, the lessons they have learned and the initial benefits they have gained.

Verum is pleased to offer you the opportunity to hear their stories and learn from their experiences at our forthcoming Dezyne Community Meeting on the 15th September at the Van der Valk Hotel, Eindhoven. The program will be completed with presentations from Sioux Embedded Systems, the Eindhoven University of Technology and Fontys University of Applied Sciences.

During the day, Dezyne Release 2 will be on show and there will be plenty of opportunity to meet the Verum Team and network with our customers, users and guests.

The meeting is free to registered attendees. Just click on the link to register.

Register >

The Program

Morning Afternoon
9:00 – 9:30 13:30 – 14:00      Phenom World
Registration & Coffee Migrating legacy state machine components to Dezyne
9:30 – 9:45 Sander Stoks (Software Architect)
Robert Howe (CEO) 14:00 – 14:30      Bitwise Europe
9:45 – 10:00   Applying Dezyne to a payment application
What’s new in Dezyne 2? Tom Renz (Managing Director)
Jos Hegge (Product Manager)  
10:00 – 10:30      Elekta Brachytherapy 14:30 – 15:00      Sioux Embedded Systems
Using Dezyne for the design of safe state machines in medical devices Refining ASD models with Dezyne: the power unleashed
Henk van Assenbergh (Director Software Electronics & System Verification) Michael van de Ven (Technology Specialist)
10:30 – 10:45 15:00 – 15:15
Break Break
10:45 – 11:15      Prodrive Technologies 15:15 – 15:45      Fontys Hogescholen
Automated-Guided-Vehicle software development using Dezyne and Domain-Specific-Languages Fontys Football Robot
Arno Moonen (Software Engineer) Wim Hendriksen (Lector)
11:15 – 11:45   Lely Technologies 15:45 – 16:30   Technische Universiteit Eindhoven
Evaluating a Model-driven Software Engineering Approach in Agricultural Robotics Challenges and Opportunities in Connecting mCRL2 and Dezyne
Emanuele Cannella (Software Engineer) Tim Willemse (Associate Professor)
Robert Howe (CEO Verum)
11:45 – 12:15  16:30 – 17:00
Discussion/Q&A Discussion/Q&A
12:15 – 13:30  17:00 – 18:00
Lunch & Demos Drinks & Snacks

Register >

Robert Howe
Want to know more?Robert Howe

Engineering tools for software controlled systems

Verum exists because our team, along with our customers, believes that there’s a better way to build software systems. We mean to provide software engineers with a range of tools that will free their creativity, liberating them from the constraints of conventional development methods and opening up a new, organised and fun way to create sophisticated software controlled systems.

Company Background

Robert Howe founded Verum in 2004 with the belief that there was a better way to develop complex embedded software. Through the application of proven mathematical techniques, Verum has developed unique technology that is at the heart of our new generation of software design tools.


Verum has established reference customers for its technology which include leading companies such as Philips, ASML, FEI and Ericsson (to name a few). Through these projects we have demonstrated that our products deliver a net 30%-50% improvement in productivity and a corresponding decrease in time to market and software defects.

Results such as these have helped Verum’s customers to continue to innovate while driving quality improvements.

Based close to Eindhoven in The Netherlands, Verum maintains close ties with researchers of the Technical University of Eindhoven (TU/e) and of Oxford University in the UK.



Student assignment

Verum uses a Lego Mindstorms model as a live demonstrator of results achieved with the Dezyne modeling tool. This is a model of a wafer stepper composed of a feeder robot, a 2d stage and a material handling robot. The control software is mainly written with Dezyne. It interfaces with the motors and sensors through a USB connection with four Mindstorms controller bricks.

The assignment is to extend this model to show new features in the Dezyne modeling language; for example dealing with multithreading. Together with a coach from Verum a new setup for the stepper control software will be defined that requires usage of these new features. One of the options is a distributed multi-processor design with controllers implemented on Raspberry-PI boards. Each of the sub-systems would have a dedicated controller and use an inter-process communication mechanism to interact with other sub-systems.

The total system must first be modeled in Dezyne and proven to be correct. After code generation the total system will be integrated in the Lego system and also have to work in practice.

Interested? Send an email to Verum.


Verum Software Tools BV
Laan van Diepenvoorde 6, 5582 LA Waalre, The Netherlands

Company info: Tel: +31 40 235 9090

HelpDesk: Tel: +31 40 235 9094

Verum Helpdesk
Ladislau PostaVerum Helpdesk
Verum CommunityCommunity

Become part of our community and get started today

Benefit from the experience and the expertise of our team and other
Dezyne users
Not on Paper, Wordpress implementation: CM Pro,