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

Abstract

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: oai:dspace.library.uu.nl:1874/26539
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


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