Verification of Fault Tolerant Algorithms Using PEP

Titel:: Verification of Fault Tolerant Algorithms Using PEP
Dokumenttyp:: Technical Report
Autor(en):: Stephan Merkel
Abstract:: Petri net theory is an accepted approach to modelling and verifying distributed algorithms. In this paper we show how a tool based on Petri net theory, the PEP tool, can be used to model and verify fault tolerant algorithms for distributed systems. We conduct three case studies to illustrate our approach and to show the more specific problems we ran into, such as synchronization and crash detection in asynchronous systems, and we explain how we tried to solve them.
Stichworte:: Verification; Fault-tolerant algorithms; Petri Nets; Model Checking
Jahr:: 1997
Jahr / Monat:: 1997-07-01 00:00:00
Seiten/Umfang:: 34
BibTeX

Vorkommen: