Browsing Institut für Informatik by Subject "Verifikation"

Now showing items 1-2 of 2

1997-12-01Buch

DAWN

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Weber, Michael; Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Peuker, Sybille; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg
2007-01-01Buch

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Hohberg, Bodo; Reisig, Wolfgang; Wu, Bixia

Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...