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.