A Case Study : Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems ?

@inproceedings{Dotti2004ACS,
  title={A Case Study : Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems ?},
  author={Fernando L{\'u}ıs Dotti and Barbara K{\"o}nig and Osmar Marchi dos Santos and Leila and Ribeiro},
  year={2004}
}
We verify a mutual exclusion protocol with dynamic process creation based on token passing. The protocol is specified using objectbased 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. 

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…