Model Checking

Vrijdag 5 April 13:45 - 14:30

Lokaal D1.04

Module ‘Model Checking’ in het vak informatica, bovenbouw vo
Door: Frits Vaandrager
Kernwoorden: Model Checking, Informatica 2.0, vo-informatica
Met medewerking van: Paul Bergervoet (hoofddocent Hogeschool van Arnhem en Nijmegen, auteur vo-methode Informatica-Actief)

Bij het keuzevak informatica is in 6-vwo behoefte aan materiaal dat een meer fundamenteel karakter heeft dan de standaardstof van het examenprogramma en ook vooruitblikt op een academische opleiding informatica. Hiervoor is materiaal van Frits Vaandrager (RU) bewerkt voor de methode Informatica-Actief. In de sessie bespreken we deze module, met bijzondere aandacht voor de didactische aanpak. We geven ook een korte inleiding in Model Checking.

Prof. dr. Frits Vaandrager

Frits Vaandrager is professor aan de Radboud Universiteit in Nijmegen