18 June 2024
ASML to invest €80 million in research at the TU/e
- International talent
- International student
Verum Software Tools is a leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems. The company helps its customers and partners solve the most challenging software issues of today and tomorrow. We support customers with our product Dezyne, a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for embedded systems combined with consultancy services.