Frisse blik: ‘Groot gat tussen wetenschap en praktische toepassing’
Soms is het testen van softwareprogramma’s niet voldoende om geen softwarefouten in de code te garanderen. Verificatie van software biedt een betere garantie, zegt Sophie Lathouwers, PhD-onderzoeker aan de Universiteit van Twente. Toch wordt de techniek amper in de industrie toegepast. En dat is jammer, vindt Lathouwers. Zij richt haar onderzoek op de praktische toepasbaarheid van verificatie.
