Verum Software
Delen
A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems. We support customers with our product Dezyne, a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for embedded systems combined with consultancy services.
24/01/2023
Verum is happy to announce Dezyne release 2.17
In this release Verum has made Dezyne more compelling by making the notation for specifying interface behavior more compact, by avoiding unnecessary repetition while modelling. Other features that have been added are unreachable code check and improved code generation.
Check the details of this release on our forum page: Verum Dezyne 2.17 release notes: https://forum.verum.com/t/verum-dezyne-2-17-release/100
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 or a free download: https://verum.com/
or check de site dedicated to the Dezyne programming language: https://www.dezyne.org
Klik hier om uitgelicht te worden.
Type
Website
Adres
Luchthavenweg 81 – 2. 29a Eindhoven
Amsterdam
5657EA
