Verum provides software engineers with a range of tools that free their creativity, liberating them from the constraints of conventional development methods and opens up a new, organized and fun way to quickly create sophisticated, reliable and robust software-controlled systems. “Dezyne” is a new breed of model-driven software engineering tools that enables software engineers to create, explore and formally verify component-based designs for embedded and technical software systems. It leads to automatically generated source code that is robust, reliable and trustworthy. Verum has established reference customers for its technology which include leading companies such as Philips, ASML, Thermo Fisher and Alstom. Through these projects, we have demonstrated that our products deliver a net 30%-50% improvement in productivity, a corresponding decrease in time to market and a up to 99.9% decrease in field defects.