Superscience: softwareverificatie voor alle ontwikkelaars
Hoe goed een bedrijf of een ontwikkelteam ook zijn best doet, alle software bevat fouten. Soms is het zo eenvoudig als een typefout ergens in een stuk code of twee puntkomma’s achter elkaar. Maar het probleem kan ook groter zijn. “Ik denk dat het door het gebruik van formele verificatietechnieken mogelijk is om veel fouten al vroeger te detecteren, en niet pas achteraf”, vertelt professor Marieke Huisman, hoogleraar in Software Reliability bij de Universiteit Twente.
© Anthony Donner Photography & Filmworks
Anthony Donner Photography & Fil
Huisman werkt met de Formal Methods and Tools Group van de universiteit aan verificatietechnieken voor software en hoopt deze naar de praktijk te brengen.