To be able to bring out Verum Dezyne Release 2.15, Verum processed a tremendous amount of user feedback, for which we are very grateful.
In this release we extended the Dezyne language by adding support for blocking, including collateral blocking. Dezyne verification and simulation/ validation are updated accordingly and are able to detect blocking related errors.
In addition the code generation for C++ and C# has been updated for blocking, supporting the creation of a trustworthy software-implementation.
Check the details of this release on our forum page: Verum Dezyne 2.15 release notes.
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: www.verum.com/contact/