VERUM brings experience and tools to the table to manage software complexity: “A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code”. For SDV, VERUM aims to help with their open-source verification and validation technology to create high quality code, which is also explainable, safe and secure, together with increased engineering efficiency (more productive software engineers).
