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