As of November 2026, Promexx acts as an implementation partner for Verum’s revamped model-based verification tooling, Axiom (formerly known as Dezyne). The Son-based company specializes in software for complex control applications and combines real-time software, mechatronics and testing on the actual system. As an implementation partner of Verum, it will help Dutch high-tech machine builders and other customers adopt Axiom in their development process, from first models through integration into production software.
Helmond-based Verum has rebuilt its Dezyne tooling from the ground up. Rebranded as Axiom, the result is an AI solution combined with formal methods that provides mathematically verified code correctness, including explainability and traceability. Axiom models software as components and interfaces, so even complex, concurrent control behavior can be verified and is correct-by-construction. Errors are found at design time rather than in the field.
“Machine software keeps getting more complex, and testing alone can’t keep up,” says Oscar Reynhout, director of Promexx. “Our engineers keep improving by working with the latest technologies. Combining verified models with AI is particularly powerful: It lets us verify designs early and explain exactly why they’re correct.”
