| | Termin
=== Literatur ===
D. Peled: Software Reliability Methods. Springer, 2001.
E. Clarke, O. Grumberg, D. Peled: Modelchecking. MIT Press, 2001.
B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
W. Ehrenberger: Software-Verifikation. Hanser, 2002.
=== Übung ===
Die Übung findet für jede Gruppe jeweils alle vierzehn Tage mittwochs 15:15 - 16:45 im AH 3 statt. Die voraussichtlichen Termine sind unten aufgeführt. Die Übungen werden zum Teil thematisch aufeinander aufbauen. Aus diesem Grund ist es sinnvoll, an allen Übungsterminen aktiv teilzunehmen.
=== Übungstermine und -blätter ===
| | A-Termin |
| B-Termin |
| Ort |
| Übung |
| | 2006-04-12 |
| 2006-04-19 |
| AH 3 |
| 1. Übung |
| | 2006-04-26 |
| 2006-05-03 |
| AH 3 |
| 2. Übung, Beispiel |
| | 2006-05-10 |
| 2006-05-17 |
| AH 3 |
| 3. Übung |
| | 2006-05-24 |
| 2006-05-31 |
| 2323 |
| 4. Übung, Beispiel |
| | 2006-06-21 |
| 2006-06-28 |
| 2323 |
| 5. Übung (kein neues Blatt) |
| | 2006-07-05 |
| 2006-07-12 |
| 2323
=== Übungsschein ===
Um einen Übungschein zu erlangen, müssen Sie
an mindestens 5 Übungsterminen anwesend sein,
mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren und
die Klausur am 2006-07-13 bestehen.
=== Software ===
=== Termine ===
| | Termin |
| Thema |
| Ort |
| | 2006-04-06 |
| 1. Vorlesung |
| AH 1 |
| | 2006-04-12 |
| 1. Übung, Gruppe A |
| AH 3 |
| | 2006-04-19 |
| 1. Übung, Gruppe B |
| AH 3 |
| | 2006-07-13 |
| Klausur |
| |
=== Kontakt ===
| |