=== 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 === In der Übung wird der Model-Checker SMV verwendet. SMV Dokumentation Download von Cadence SMV In der letzten Übung werden wir mit UPPAAL arbeiten. === 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 === Jacob Palczynski Suche Zeige Quelltext RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland