Title :
Verifying fault tolerance of distributed algorithms formally-an example
Author_Institution :
Inst. fur Inf., Humboldt-Univ., Berlin, Germany
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;
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
DOI :
10.1109/CSD.1998.657551
