Verum is a leading developer of model-based software design tools to create, simulate, mathematically verify (discrete AI), and automatically generate code for embedded and cyber-physical systems. We offer solutions in areas such as hyperautomated DevOps and Interfaces & Protocols. Verum operates in various markets, including semiconductor, metrology, and mobility. We support software engineers in creating trusted software in half the time they currently require.
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.
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).