English German
There's always a Logic Solution!
Verum

About Verum

Verum develops engineering tools for software controlled systems. 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. www.verum.com

TESTIMONIALS

“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

Dezyne


Why Dezyne?

The race to develop the next generation of increasingly sophisticated software systems is pushing conventional software engineering practices beyond their limits. Software engineers are being asked to realise systems that are increasingly both complex and reliable, connected and secure, flexible and robust, safe and yet affordable. Dezyne provides solutions to these problems.
 

How does Dezyne help?

Dezyne is a new breed of model-driven software engineering tools that enable software engineers to create, explore and formally verify component based designs for embedded and technical 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.

 
What does Dezyne do?

Based on a powerful, open modelling language, Dezyne gives software engineers the ability to construct software components that implement any kind of behaviour within an application. Graphical views of models enable engineers to easily navigate, communicate and document their architectures and designs. Advanced simulation features provide engineers with the means to fully explore and validate their designs, no execution necessary. Automated formal verification discovers hidden defects that are otherwise practically impossible to find. Efficient code generation instantly turns verified models into executable code.
 

What is unique about Dezyne?

Dezyne provides the power of rigorous, formal verification technology in a form that is easy to use, applicable to a wide range of general software challenges and scalable across entire systems and organisations. It provides solutions for: building verifiably complete and correct software components; understanding the architecture and design of sophisticated embedded or technical software systems; communicating, reviewing and documentation the behaviour of software components and (sub) systems; ensuring the ongoing, long term integrity, reusability and maintainability of software assets.
 
Learn more about the purpose of using Dezyne, or get a personal demo, arranged at your convenience.
Request a personal introduction.