## Verificatie

Over verificatie staat in de paragraaf 'Validatie en verificatie:

- men controleert of het systeem juist is gemaakt (zijn alle eisen verwerkt?)

Omdat het systeem nog niet bestaat gebruiken we een model om te testen of het model voldoet aan de specificaties (eisen).

Hierbij kunnen meerdere modellen worden gebruikt om verschillende aspecten van het (te bouwen) systeem te testen. In ons geval gebruiken we 2 modellen:

- Een eindige automaat

- Een simulatie

Met de eindige automaat heb je in hoofdstuk 1 al kennisgemaakt en zul je in week twee verder werken.

De eindige automaat kwam je in hoofdstuk 2 tegen en hier zul je in de derde week verder mee aan de slag gaan.

Het proces van validatie, verificatie en testen komt dan in week 4 weer uitgebreid terug.