The Bakery Protocol A Comparative Case Study in Formal Veri cation

Abstract

Groote and the second author veri ed a version of the Bakery Protocol in CRL Their process algebraic veri cation is rather complex compared to the protocol Now the question is How do other veri cation techniques perform on this protocol In this paper we present a new correctness proof by using I O automata theory and discuss the relative merits of both… (More)

Topics

Cite this paper

@inproceedings{Gri2008TheBP, title={The Bakery Protocol A Comparative Case Study in Formal Veri cation}, author={David Gri and Henri Korver}, year={2008} }