Technischer Bericht TR-2004-08

Bibliograph.
Daten
Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Technischer Bericht Informatik Nr. 2004/08.
16 Seiten, englisch.
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
D.4.1 (Process Management)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
F.4.2 (Grammars and Other Rewriting Systems)
Keywordsprotocol verification; graph transformation systems; mutual exclusion
Kurzfassung

We verify a mutual exclusion protocol with dynamic process creation based on token passing. The protocol is specified using object-based graph grammars. We introduce the protocol and show how the mutual exclusion property and other properties can be verified using the tool Augur, a verification tool for graph transformation systems based on an approximated unfolding technique.

Volltext und
andere Links
PDF (566721 Bytes)
PostScript (1496412 Bytes)
Projekt SANDS
Tool Augur
KontaktBarbara König koenigba@fmi.uni-stuttgart.de
Abteilung(en)Universität Stuttgart, Institut für Formale Methoden der Informatik, Sichere und Zuverlässige Softwaresysteme
Projekt(e)SANDS (DFG-Projekt)
DACHIA (BMBF-Projekt)
Eingabedatum21. Dezember 2004
   Publ. Institut   Publ. Informatik