Now showing items 1-1 of 1

    • Automated Analysis of Fault-Tolerance in Distributed Systems 

      Stoller, Scott D.; Fred B. Schneider Stoller, Scott D; Schneider, Fred B. (Cornell University, 2000-12-21)
      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 ...