Can I read Invariant Safety for Distributed Applications on EtoBox?

Invariant Safety for Distributed Applications by Nair, Sreeja; Petri, Gustavo; Shapiro, Marc is a scholarly article available to read on EtoBox.

What is Invariant Safety for Distributed Applications about?

We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation separately, and (2) sequential: one can reason about a distributed application as if it were sequential. We automate the methodology and illustrate the use of the tool with a representative example.

Author

Nair, Sreeja; Petri, Gustavo; Shapiro, Marc

Published

2019

Language

EN