A Case Study: Verifying a Mutual Exclusion Protocol with Process ...
Reference
Fernando Luís Dotti, Barbara König, Osmar Marchi dos Santos, and Leila Ribeiro. A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems. Technical Report 08/2004, Universität Stuttgart, 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.
Suggested BibTeX entry:
@techreport{DKMR04,
author = {Fernando Lu\'{\i}s Dotti and Barbara K\"onig and Osmar Marchi dos Santos and Leila Ribeiro},
institution = {Universit{\"a}t Stuttgart},
number = {08/2004},
title = {A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems},
year = {2004}
}
