Automated Analysis of Fault-Tolerance in Distributed Systems
Stoller, Scott D.; Fred B. Schneider Stoller, Scott D; Schneider, Fred B.
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.
computer science; technical report
Previously Published As