https://kuleuven-diepenbeek.github.io/ses-course/9-specificatie/index.htmlWanneer is software correct? Hoe weet je dat een implementatie doet wat het moet doen? Zeker in een wereld waar meer en meer code door AI-tools gegenereerd wordt, is het belangrijk om een goed begrip te hebben van wat correct gedrag is, en hoe je dat kan specificeren en controleren, zonder blind te vertrouwen op de gegenereerde code. Om dat te onderzoeken, bekijken we in dit hoofdstuk hoe je softwaregedrag precies kan beschrijven, los van de concrete code die dat gedrag realiseert. We focussen op specificaties, contracten, invarianten, en op hoe je met tests en formele redeneringen (zoals Hoare-logica) kan nagaan of een implementatie correct is.Hugonl<i>fname</i>.<i>lname</i>A T<i>kuleuven.be</i> (Arne Duyver, Koen Yskout)<i>fname</i>.<i>lname</i>A T<i>kuleuven.be</i> (Arne Duyver, Koen Yskout)