Bedrijfsprofiel · Softwareleverancier / SaaS
Verum Software Tools BV
- Computer Software
- Softwareleverancier / SaaS
- Helmond
- Computer Software · Helmond
- Medewerkers
- 11–50
- Opgericht
- 2004
- Provincie
- Noord-Brabant
- Land
- Nederland
Over Verum Software Tools BV
Het bedrijf maakt gebruik van een gespecialiseerde vorm van kunstmatige intelligentie, genaamd symbolische AI, om het proces van het bouwen van betrouwbare software te versnellen. De aangeboden modelgebaseerde engineering-tools maken het mogelijk om software via modellen te ontwerpen, systeemgedrag te simuleren en software wiskundig te verifiëren. Deze tools kunnen automatisch code genereren in talen zoals C++, C#, C, Python en JavaScript. Verum Dezyne biedt specifieke feedback wanneer verificatie fouten detecteert, inclusief de locatie van het probleem en de stappen om het te reproduceren. De diensten zijn gericht op geavanceerde industrieën zoals de halfgeleidersector, metrologie en de mobiliteitssector.
Deze omschrijving is door AI geschreven.
Trefwoorden
- Formal Methods
- Model Driven Design
- Software Design Automation
- Verification Not Simulation
Team per functiegebied
Gebaseerd op 3 openbare functieprofielen, stand van 19 september 2026.
- Executive / C-Suite2
- Consulting / Advisory1
Vergelijkbare bedrijven
Bedrijven met een vergelijkbaar profiel, eerst die uit Noord-Brabant.
SynthWise
Information Technology and Services · Eindhoven
2–10 medewerkersBekijk profiel
MonkeyProof Solutions B.V.
Computer Software · Breda
2–10 medewerkersBekijk profiel
Symaware
Research · Eindhoven
11–50 medewerkersBekijk profiel
Code for Good
Computer Software · Eindhoven
11–50 medewerkersBekijk profiel
Op zoek naar meer bedrijven zoals deze?
Ontvang een gratis selectie per e-mail, samengesteld door ons team.