Verum creates and sells software engineering tools for designing verifiably correct embedded software. 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 trustworthy. The results include a 50% reduction in development costs, 20% decrease in time to market and a 25% reduction in the cost of field defects. 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 companies in the Netherlands and we have sales activities in Germany and the USA.