## Verificatie met automaat

Les 10 sloten we af met de term modelgebaseerd testen waarbij het grote voordeel is dat je niet eerst de software in het product hoeft in te bouwen en zodende fouten pas aan het eind van het traject ontdekt.

Nu je ook weet dat de verificatie altijd eerst dient te gebeuren kun je hier nog enkele voorbeelden van uitvoeren in onderstaande opdrachten.

Begin met het openen van de automaat.