Skip to main content
Article thumbnail
Location of Repository

The Bakery Protocol: A Comparative Case-Study in Formal Verification

By D. Griffioen and H. Korver


Groote and the second author verified (a version of) the Bakery Protocol in μCRL.\ud Their process-algebraic verification is rather complex compared to the protocol. Now the question is: How do other verification techniques perform on this protocol? In this paper we present a new correctness proof by using I/O-automata theory and discuss the relative\ud merits of both approaches

Topics: Wijsbegeerte
Year: 1995
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.