1 paper
Ali Basiri, Lorin Hochstein, Nora Jones +1
Distributed systems often face transient errors and localized component degradation and failure. Verifying that the overall system remains healthy in the face of such failures is c…