College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
|Title: ||Automated Analysis of Fault-Tolerance in Distributed Systems|
|Authors: ||Stoller, Scott D.|
Fred B. Schneider Stoller, Scott D
Schneider, Fred B.
|Keywords: ||computer science|
|Issue Date: ||21-Dec-2000|
|Publisher: ||Cornell University|
|Abstract: ||A method for automated analysis of fault-tolerance of distributed systems is presented. It is based on a stream model of computation augmented with approximation constructs, and this facilitates efficient analysis. Analyses of a protocol for fault-tolerant moving agents and a reliable broadcast protocol ilustrate the method.|
|Appears in Collections:||Computer Science Technical Reports|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.