• DocumentCode
    2845004
  • Title

    Verifying fault tolerance of distributed algorithms formally-an example

  • Author

    Völzer, Hagen

  • Author_Institution
    Inst. fur Inf., Humboldt-Univ., Berlin, Germany
  • fYear
    1998
  • fDate
    23-26 Mar 1998
  • Firstpage
    187
  • Lastpage
    197
  • Abstract
    It is shown how fault-tolerant distributed algorithms can be formally verified using the Petri net based verification framework DAWN. A complete example study, the verification of a distributed self diagnosis algorithm, is presented to demonstrate the benefits of the proposed approach
  • Keywords
    Petri nets; distributed algorithms; program verification; software fault tolerance; DAWN; Petri net; algorithm fault tolerance verification; distributed algorithms; distributed self diagnosis algorithm; verification framework; Algorithm design and analysis; Computer crashes; Distributed algorithms; Fault tolerance; Fault tolerant systems; Formal verification; Logic; Protocols;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
  • Conference_Location
    Fukushima
  • Print_ISBN
    0-8186-8350-3
  • Type

    conf

  • DOI
    10.1109/CSD.1998.657551
  • Filename
    657551
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2845004