Be creative and eliminate

the dull work.

Align Control and Creativity

Verum Dezyne is a software development tool that empowers you to focus on the areas of software development that matter. Say goodbye to time-wasting tasks, and use your talent and experience to create great software.

Discover Dezyne

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. The interfaces are the specification and the components are the implementation.

Dezyne automatically verifies semantic correctness of the logic behaviour and proves that the components correctly implement the interfaces. A user can simulate the behaviour to validate whether this is as intended. Diagrams and logical views are generated automatically from the language description. As a final step code can be generated in a number of standard programming languages.

Without having to rely on a process Dezyne automatically highlights problems areas, stimulates communication about these and enforces that components work together.

Download papers