Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit

Steeds vaker gebruikt de academische wereld het begrip ‘valorisatie’ om aan te geven dat wetenschappers een brug moeten slaan naar het bedrijfsleven. In dit kader heeft het Laboratory for Quality Software van de TU Eindhoven academische tools losgelaten op een industriële casus, geleverd door NXP. Modelgebaseerde verificatietechnieken, normaal gesproken ingezet bij forward engineering van softwareontwerpen, hebben we succesvol toegepast bij a posteriori broncodeanalyse.