Afl. 6: Waarom is softwareverificatie nog geen standaard in de praktijk?
Gearchiveerde serie ("Inactieve feed" status)
When? This feed was archived on April 13, 2023 04:10 (). Last successful fetch was on January 20, 2023 23:34 ()
Why? Inactieve feed status. Onze servers konden geen geldige podcast feed ononderbroken ophalen.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 295339864 series 2940741
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.
16 afleveringen