Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. Our latest product, “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software systems of all types. It leads to generated code that is robust, reliable and resilient. The results, using Dezyne, include a 300% increase in development efficiency, a 99.99% decrease in customer reported defects and a 20% decrease in time to market.

Based in Waalre, The Netherlands, close to Eindhoven’s High Tech Campus, Verum has development activities in the Netherlands and Argentina. Our customers include leading high-tech multinational companies.

Toon volledige bio