Sessie 6F             Model checking

Sprekers:              Frits Vaandrager, David N. Jansen en Els Koopmans

Sector:                   VO

We beschrijven achtergrond, leerdoelen en opzet van een lesmodule over model checking voor klas 5 vwo, die dit jaar voor de derde keer verzorgd wordt in een samenwerking tussen de Radboud Universiteit Nijmegen en het Olympus College te Arnhem. Tevens doen we verslag van onze ervaringen bij het geven van deze module.