=== 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 Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.OKWeitere Information Suche Zeige Quelltext RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland