User: Guest  Login
Document type:
Technical Report 
Author(s):
Stephan Merkel 
Title:
Verification of Fault Tolerant Algorithms Using PEP 
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. 
Keywords:
Verification; Fault-tolerant algorithms; Petri Nets; Model Checking 
Year:
1997 
Year / month:
1997-07-01 00:00:00 
Pages:
34