| datum | docent | onderwerp+slides | Uppaal modellen | oplossingen |
|---|---|---|---|---|
| 04/01 | FV | Les: Betrouwbaarheid van software, model checking en Uppaal | roddel.xml, roddel.q Werkplaats.xml, Werkplaats.q | Wat is model checking? |
| 07/01 | FV | Vervolg inleiding Uppaal | Werkplaats2.xml | handleiding Uppaal |
| 11/01 | FV | Practicum 1: Flappentapper | - | uitwerking |
| 14/01 | EK | Practicum 2: Spoorwegovergang | - | uitwerking spoorwegovergang |
| 18/01 | FV | Vervolg practicum spoorwegovergang, Practicum 3: De Wolf, de Geit en de Kool | WolfGeitKool.xml, WolfGeitKool.q, WolfGeitKool2.xml, WolfGeitKool2.q | uitwerking wolf, geit, kool |
| 25/01 | FV | Practicum 4: Blikjesautomaat | - | - |
| 28/01 | EK | Practicum 5: Job shop | - | - |
| 01/02 | EK | Toets | - | - |
Laatste aanpassing gemaakt op 25/01/2010 door Frits Vaandrager.