V O R L E S U N G

Nichtsequentielle Systeme und nebenläufige Prozesse (SS 2004)

Prof. Dr. H. Veith
Dr. S. Katzenbeisser
Dipl.-Ing. C. Schallhart



Termin: Mittwoch 9:15 - 11:00 (MI 00.02.001), Freitag 10:15 - 13:00 (MW1801)
Letzter Vorlesungstermin: Mittwoch, 21.7.

Übungstermin: Mittwoch 11:15 - 13.00

Anfragen zur Übung bitte an   pns @ tiki . informatik . tu-muenchen . de

Inhalt der Vorlersung

Folien zur Vorlesung:
Die Folien decken weitghend den Prüfungsstoff ab.
Temporal Logic
Fixpoint Theorems
Binary Decision Diagrams
Symbolic Model Checking
SMV (Beispiele: counter, inverter, semaphore)
LTL und Büchi-Automaten
Abstraktion
Counterexample-Guided Abstraction Refinement
Partial Order Reduction
Symbolic Model Checking without OBDDs
SPIN

Beispiele zu Spin
Beispiele zu Spin (Übung)


Übungsunterlagen:
Merkblatt zum Übungsablauf
1. Übungsblatt
2. Übungsblatt
3. Übungsblatt
4. Übungsblatt