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)
|
Keywords | protocol 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
|
Kontakt | Barbara 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)
|
Eingabedatum | 21. Dezember 2004 |
---|