Thread
Stories related to "Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing" across the full archive.
What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms
(core.ac.uk)
Partial abstract: "...model checking of fault-tolerant distributed algorithms poses multiple research challenges, most notably parameterized verification: verifying an algorithm for all system sizes and different combinations of faults. In this paper, we survey our recent results in this area which ...
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015)
(pdfs.semanticscholar.org)
Abstract: "Distributed programs are known to be extremely difficult to implement, test, verify, and maintain. This is due in part to the large number of possible unforeseen interactions among components, and to the difficulty of precisely specifying what the programs should accomplish in a formal la...