Verum Software

Verum and Prespective researched ways to combine their respective technologies, and improve the way engineers design and build systems.

It allows a completely virtual approach to system and software engineering where all components can be experienced as they will eventually be created in the physical world. Furthermore, all control software can be validated and formally verified, giving confidence in the final solution without making large investments in prototyping and hardware upfront.

Have a look at the video for an impression.

The scope of Dezyne increases significantly with the new simulator function: instead of single components, the new Dezyne simulator combines multiple software components and interfaces. Software related use cases across the system can be validated now.

As the example of this post shows: it scales such that fairly complex systems can be handled with this update. It helps to make sense of the workings of the system that you are building. The system scope simulator is not only of use to the software engineer, but is also of help to the test engineer, software architect and system engineer.

Check the details of this release on our forum page: Dezyne 2.13.2 release notes. https://lnkd.in/gvyPhv4p


With Dezyne, engineers create high-quality software for event-driven embedded or cyber-physical systems for various industries, such as semiconductor, medical devices, life sciences and industrial systems.

Ask for an Introduction https://verum.com/contact
Download the tool www.verum.com/free-trial

Have a look at this thorough article. It gives a lot of insights about Dezyne and was also used as a paper for the F-IDE 2021.

Please check: https://lnkd.in/d-nyt3A

Dezyne: Paving the Way to Practical Formal Software Engineering
https://forum.verum.com