Our Solution

Food Testing

Dezyne is a programming language with formal semantics aimed at control software (specifying the behavior of a system), such as found in embedded systems. Dezyne is devised with the regular software engineer in mind, a professional without a background in applying formal methods (mathematically rigorous techniques for the specification, development and verification of software and hardware systems).

Dezyne is an open plain text, domain specific language, used to design the structure and behavior of a software system with a syntax similar to that of common programming languages such as Java or C.

To stick to familiar and commonly used development environments, Verum has chosen to implement LSP for interfacing with commonly used IDE's such as VS Code and Emacs. On the basis of LSP other IDE's can be added.

Our Partners:

Would like to hear more?

Schedule a phone call

On a call we will:

#1 - Understand your needs
One of our customer speciality will get all the info about your company and your needs
#2 - Tailored Solution
Offer the best tailored solution based on the information provided
#3 - Schedule a demo
Schedule a demo with one of our export