Skip to main content

Header 1

Verum Software Tools B.V.

Verum is the developer of the Dezyne programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems.



Verum, the organization behind the Dezyne programming language, is committed to continuing to invest in the language for the benefit of all its users. Verum assists its customers and partners in solving the software challenges of today and tomorrow, by offering expert consultancy on the application of the Dezyne language and the development and use of its tools, as well as on Verum's commercial tools like IDE support based on the LSP (Language Server Protocol), interactive integrated graphics, interactive simulation, (custom) code generation and (custom) runtime library support.


Luchthavenweg 81 - 2.29a
5657EA Eindhoven