## Leerdoelen les 11 Validatie

- Je kunt de begrippen verificatie en validatie uitleggen.
- Je kunt verificatie en validatie processen met behulp van een model uitvoeren en de beperkingen daarvan inzien.
- Je snapt dat goede validatie afhankelijk is van goede verificatie.
- Je kunt het begrip specificatie uitleggen in relatie tot verificatie en validatie.
- Je kent het onderscheidt tussen 'mag niet voorkomen' en 'moet kunnen voorkomen'.
- Je kent de begrippen bereikbaarheid en deadlock.