| datum | docent | onderwerp+slides+links | Uppaal modellen | oplossingen | |
|---|---|---|---|---|---|
| 18/09 | FV | Les: Betrouwbaarheid van software en model checking | roddel.xml, roddel.q | Inleiding model checking | - |
| 22/09 | FV | Les: Inleiding Uppaal | Werkplaats.xml, Werkplaats.q | Handleiding Uppaal | |
| 23/09 | FV | Practicum 1: Flappentapper | flappentapper.xml, flappentapper.q | - | |
| 25/09 | PG | Vervolg Practicum 1 | - | - | |
| 29/09 | PG | Practicum 2: Verkeersdeadlock | - | - | |
| 30/09 | FV | Practicum 3: Spoorwegovergang | overgang.xml, overgang.q | - | |
| 02/10 | PG | Vervolg Practicum 3 | - | - | |
| 06/10 | FV | Practicum 4: De Wolf, de Geit en de Kool | - | - | |
| 7/10 | FV | Vervolg Practicum 4 | - | - | |
| 09/10 | FV | Les: Processen en kritieke secties | moore.xml, moore.q Attempt1.xml, Attempt1.q, Attempt2.xml, Attempt2.q, Attempt3.xml, Attempt3.q, Attempt4.xml, Attempt4.q, dekker.xml, dekker.q, Peterson.xml, Peterson.q, testset.xml, testset.q | - | |
| 13/10 | FV | Practicum 5: Hyman's algoritme | - | - | |
| 14/10 | FV | Practicum 6: Werkplaats | - | - | |
| 16/10 | PG | Toets | - | - |
Laatste aanpassing gemaakt op 4/1/2010 door Frits Vaandrager.