Invariant Safety for Distributed Applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Invariant Safety for Distributed Applications

Sreeja S Nair
  • Fonction : Auteur
  • PersonId : 1022830
Gustavo Petri
Marc Shapiro

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

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⟩
100 Consultations
289 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More