Verum (https://verum.com) is a leading developer of model-based software design tools to create, simulate, mathematically verify (discrete AI), and automatically generate code for embedded and cyber-physical systems. We offer solutions in areas such as hyperautomated DevOps and Interfaces & Protocols. Verum operates in various markets, including semiconductor, metrology, and mobility. We support software engineers in creating trusted software in half the time they currently require