Options
1997
Conference Paper
Titel
Invariantenverifikation in DAWN
Titel Supplements
Ein Beispiel
Abstract
In dieser Arbeit wird anhand einer Lösung zum Problem der Phasensynchronisation die Integration der S-Invarianten-Analysetechnik in die Methodik von DAWN exemplarisch vorgeführt.In DAWN lassen sich verteilte Algorithmen als höhere Petrinetze modellieren, Eigenschaften verteilter Algorithmen spezifizieren und Korrektheitsbeweise führen.