Invariant Safety for Distributed Applications - Archive ouverte HAL Access content directly
Conference Papers Year :

Invariant Safety for Distributed Applications

(1) , (2) , (1)
1
2
Sreeja S Nair
  • Function : Author
  • PersonId : 1022830
Gustavo Petri
Marc Shapiro

Abstract

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)

Licence

Copyright

Identifiers

Cite

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⟩
86 View
196 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More