Invariant Safety for Distributed Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Invariant Safety for Distributed Applications

Sreeja S Nair
  • Function : Author
  • PersonId : 1022830
Gustavo Petri
Marc Shapiro


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.
Fichier principal
Vignette du fichier
authorversion-soteria.pdf (646.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02052012 , version 1 (06-03-2019)





Sreeja S Nair, Gustavo Petri, Marc Shapiro. Invariant Safety for Distributed Applications. Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany. ⟨hal-02052012⟩
90 View
268 Download



Gmail Facebook X LinkedIn More