Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Invariantenverifikation in DAWN

Ein Beispiel
 
: Völzer, H.; Walter, R.

Desel, J.; Reichel, H. ; Gesellschaft für Informatik -GI-, Fachgruppe 0.0.1 Petrinetze und Verwandte Systemmodelle:
Grundlagen der Parallelität : Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der Informatik '97 an der RWTH Aachen, 22. September 1997
Dresden: TU, 1997 (TU Dresden Fakultät Informatik. Technische Berichte)
German
Conference Paper
Fraunhofer ISST ()
partial order; petri net; specification; temporal logic; verification

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.

: http://publica.fraunhofer.de/documents/PX-19863.html