At GrammaTech, we help our customers, partners, and government research sponsors solve the most challenging software issues of today and tomorrow, safeguarding embedded mission-critical devices from failure and cyber attack. With our security-first software design philosophy, you can rely on GrammaTech to help you design, develop, and deploy trusted software applications — minimizing corporate risks and maximizing your competitive position.
About Verum Software Tools
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.