| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 19.01.2005 | Einar B. Johnsen? | ? | Introduksjon? | Kursintroduksjon. Syntaks og intuisjon til spr?ket SPL. Fair transition systems.? |
| 26.01.2005 | Einar B. Johnsen? | ? | Basics? | Gjennomgang av relevant bakgrunnsstoff.? |
| 02.02.2005 | Einar B. Johnsen? | ? | Temporal logikk? | Semantikk til SPL. Temporallogiske formler og semantikk for disse.? |
| 09.02.2005 | Einar B. Johnsen? | ? | Bevisregler safety? | ? |
| 16.02.2005 | Einar B. Johnsen? | ? | Bevisregler rettferdighet? | ? |
| 23.02.2005 | ? | ? | ? | Ingen undervisning.? |
| 02.03.2005 | Einar B. Johnsen? | ? | Bevisregler rimelighet? | Utlevering Oblig 1? |
| 09.03.2005 | ? | ? | ? | Arbeid med oblig. Ingen undervisning.? |
| 16.03.2005 | ? | ? | ? | Arbeid med oblig. Ingen undervisning.? |
| 23.03.2005 | ? | ? | ? | P?ske. Ingen undervisning.? |
| 29.03.2003 | ? | ? | ? | Innlevering Oblig 1 (Det er lov ? levere tidligere...)? |
| 30.03.2005 | Einar B. Johnsen? | ? | Modellsjekking (1)? | Introduksjon til modellsjekking. Praktisk informasjon om Spin og Promela.? |
| 06.04.2005 | Einar B. Johnsen ? | ? | Modellsjekking (2) ? | Automater & logikk.? |
| 13.04.2005 | Einar B. Johnsen? | ? | Modellsjekking (3)? | Semantikk for Promela. Sammensetning av automater. Utlevering Oblig 2? |
| 20.04.2005 | Einar B. Johnsen? | ? | Modellsjekking (4)? | Algoritmer. I tillegg: gjennomgang Oblig 1 ? |
| 27.04.2005 | ? | Ingen forelesning? | ? | Innlevering Oblig 2? |
| 04.05.2005 | Einar B. Johnsen? | ? | Linear vs. branching time? | I tillegg: gjennomgang Oblig 2? |
| 11.05.2005 | Einar B. Johnsen ? | ? | Oppsummering / Repetisjon? | ? |
Undervisningsplan
Publisert 15. des. 2004 19:39
- Sist endret 18. apr. 2005 10:53