Verum | software by design
Verum presents Dezyne, the software engineering toolset. Dezyne enables software engineers to create, explore and verify designs for software-controlled systems, leading to generated code that is robust, reliable and trustworthy.