Verum is a rapidly growing SME based in the Netherlands. We provide software engineering tools for designing verifiably correct embedded software. Our tools are used by leading companies such Philips, ASML, FEI Company and others. Our customers benefit from a 50% increase in software development productivity, a 20% decrease in time to market and dramatic improvements in software quality and development predictability from the use of our products.
Our latest product, Dezyne, is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state based, event driven or concurrent software systems. It leads to generated code that is robust, reliable and trustworthy.
Login om een beoordeling te schrijven.