Dotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila:
A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems
Stuttgart: Universität Stuttgart, 2004
(Technical Report ; TR-2004-08)
2004Buch
Informatik
Titel:
A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems
Autor*in:
Dotti, Fernando Luis;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Santos, Osmar Marchi dos;Ribeiro, Leila
Erscheinungsort:
Stuttgart
Verlag:
Universität Stuttgart
Erscheinungsjahr:
2004
WWW URL:
http://inf4.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2004-08&inst=FAK&mod=&engl=1
In Serie
Technical Report
in:
Band TR-2004-08

Abstract:

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.