 |
Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen |
|
Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen |
Model CheckingSommersemester 2008 |
| Dozent(en): | Klaus-Jörn Lange, Uebungen: Viola Brunner |
| Zeit: | Fr. 13 c.t. - 16 |
| Ort: | C118 |
| Siehe auch: | Campus Vorlesungsverzeichnis |
Die Übung findet montags von 10.c.t bis 12 Uhr im Raum C118 statt. Die Termine entnehmen Sie folgender Tabelle:
| Übungsblatt | Ausgabetermin | Abgabetermin | Besprechung |
|---|---|---|---|
| 1 | Fr, 16.05.08 | Fr, 23.05.08 | Mo, 26.05.08 |
| 2 | Fr, 30.05.08 | Fr, 06.06.08 | Mo, 09.06.08 |
| 3 | Fr, 06.06.08 | Fr, 20.06.08 | Mo, 23.06.08 |
| 4 | Fr, 27.06.08 | Fr, 11.07.08 | Mo, 14.07.08 |
Die im praktischen Teil der Übung verwendete Software NuSMV ist auf den Rechnern
katachi[1-4] installiert.
Sollten die Rechner nicht erreichbar
sein schreiben Sie mir bitte eine Email.
Material zu NuSMV:
