Company Overview

Verum was founded in 2004 with the belief that there was a better way to develop complex embedded software.


Verum solves software engineering complexity:  Dezyne

Software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems.


Product Dezyne

Dezyne is both an architectural specification language and a software implementation language.

Dezyne is a language and design methodology for specifying the behaviors of interfaces and components and checking the compliance between these.

In Dezyne, you define components and their interfaces through a familiar and compact C/Java like-language. The Dezyne language is targeted at the logic or event-driven behaviour of an application.



Dezyne Purpose:

  •  Prevent and eliminate defects
  •  Decrease development time and effort
  •  Reduce costs and deliver better quality




Dezyne Features:

  • Model Driven Development
  • Component Based Design
  • Domain Specific Language
  • Formal Verification
  • Simulation and Validation
  • Continuous Testing
  • Code Generation