A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems

Dotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-2547

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Dotti, Fernando Luis	de
dc.contributor.author	König, Barbara	de
dc.contributor.author	Santos, Osmar Marchi dos	de
dc.contributor.author	Ribeiro, Leila	de
dc.date.accessioned	2005-04-13	de
dc.date.accessioned	2016-03-31T07:58:30Z	-
dc.date.available	2005-04-13	de
dc.date.available	2016-03-31T07:58:30Z	-
dc.date.issued	2004	de
dc.identifier.other	117300691	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-22387	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2564	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2547	-
dc.description.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.	en
dc.language.iso	en	de
dc.relation.ispartofseries	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2004,8	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Graphersetzungssystem , Programmverifikation	de
dc.subject.ddc	004	de
dc.subject.other	protocol verification , graph transformation systems , mutual exclusion	en
dc.title	A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems	en
dc.type	workingPaper	de
dc.date.updated	2013-07-08	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.opusid	2238	de
ubs.publikation.typ	Arbeitspapier	de
ubs.schriftenreihe.name	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik	de
Enthalten in den Sammlungen:	05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
TR_2004_08.pdf		553,44 kB	Adobe PDF	Öffnen/Anzeigen

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart