Verum Dezyne

What if you could verify your system before you build it?

Verum 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.

« When a delayed timeout can crash your system »

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.

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 visualizing 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.

For more information, you can visit the product owner’s page by clicking here