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)
2004book
Computer Science
Title:
A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems
Author:
Dotti, Fernando Luis;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Other
- connected with university
Place of publication:
Stuttgart
Publisher:
Universität Stuttgart
Year of publication:
2004
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.