Verum creates and sells model-driven analytical software engineering tools that enable its customers to rapidly innovate in software.
Our latest product, “Dezyne”, provides software engineers with the means to create, explore, validate and formally verify designs for cyber-physical systems, including industrial equipment and machinery, medical systems and automotive applications. It leads to automatically generated code that is robust, reliable and trustworthy. The results include a 99.99% decrease in customer reported defects, 300% increase productivity and 20% decrease in time to market.
Based in Waalre, The Netherlands, close to Eindhoven’s High Tech Campus, Verum services customers throughout Europe.