Via softwareverificatie kom je erachter of je programma écht werkt zoals het moet werken en kun je vele scenario’s geautomatiseerd doorlopen. Toch gebruiken we de techniek nog nauwelijks in de praktijk. Waarom is dat? En welke voordelen biedt het hen die softwareverificatie al wél gebruiken?
Sprekers: Redacteur Eveline Meijer van AG Connect gaat in gesprek met professor Marieke Huisman van de Universiteit Twente en System Designer Ronald Bos van Technolution
Meer lezen over softwareverificatie:
- Professor Marieke Huisman vertelt over het nut van softwareverificatie.
- Hoe je de correctheid van software kunt bewijzen met formele methoden.
- Ook met het gebruik van formele methoden kun je blijven testen.
Wil je op de hoogte blijven van het laatste IT-nieuws of wil je duiding van nieuwe technologische ontwikkelingen, meld je hier aan voor de dagelijkse nieuwsbrief van AG Connect.