Luchthavenweg 81
5657 EA Eindhoven
The Netherlands
www.verum.com
info@verum.com
Phone: +31 40 235 9090
Partnership
Verum and TASKING are working closely together to integrate TASKING Compiler toolsets into the Verum Dezyne workflow. Verum Dezyne can be used with the TASKING VX-toolset for TriCore and VX-toolset for C166 as well as the classic C166/ST10 toolset.
About
Verum is a leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems.
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.