About Verum

A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems.

At Verum, we help our customers and partners solve the most challenging software issues of today and tomorrow. We support customers with our product Dezyne, a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for embedded systems combined with consultancy services.

History

Verum was founded in 2004 with the belief that there was a better way to develop complex embedded software. Through the application of proven mathematical techniques, Verum has developed unique technology that is at the heart of our software design tools.

References

Verum has established reference customers for its technology which include leading companies such as Philips, ASML and Thermo Fisher. Through these projects we have demonstrated that our products deliver an improvement in productivity and a corresponding decrease in time to market and software defects.

Based close to Eindhoven in The Netherlands, Verum maintains close ties with researchers of the Technical University of Eindhoven (TU/e).