Verum Software Tools

Verum Software Tools It leads to generated code that is robust, reliable and trustworthy.

Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software. Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state base

d, event driven or concurrent software systems. The results include a 50% reduction in development costs, 20% decrease in time to market and a 25% reduction in the cost of field defects.

Adres

Luchthavenweg 81. 041
Eindhoven
5657EA

Openingstijden

Maandag 09:00 - 17:00
Dinsdag 09:00 - 17:00
Woensdag 09:00 - 17:00
Donderdag 09:00 - 17:00
Vrijdag 09:00 - 17:00

Telefoon

+31 40 235 9090

Meldingen

Wees de eerste die het weet en laat ons u een e-mail sturen wanneer Verum Software Tools nieuws en promoties plaatst. Uw e-mailadres wordt niet voor andere doeleinden gebruikt en u kunt zich op elk gewenst moment afmelden.

Contact

Stuur een bericht naar Verum Software Tools:

Snelkoppelingen

Delen