Nächste Seite: Einleitung Aufwärts: Sprachkonzepte der Parallelen Programmierung Vorherige Seite: Übung Semaphore

Spezifikation und Verifikation nebenläufiger Prozesse

Unterabschnitte

Einleitung
Literatur
Kripke-Strukturen, Omega-Wörter
Omega-Wörter und -Sprachen
PLTL: propositional linear time logic
PLTL-Spezifikationen von Systemeigenschaften
PLTL: Algorithmen
ω-(reguläre) Sprachen
Übung PLTL

Johannes Waldmann 2013-06-18