arXiv Open Access 2019

Invariant Safety for Distributed Applications

Sreeja Nair Gustavo Petri Marc Shapiro

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.DC cs.DB cs.FL

Penulis (3)

Sreeja Nair

Gustavo Petri

Marc Shapiro

Format Sitasi

APA MLA BibTeX

Nair, S., Petri, G., Shapiro, M. (2019). Invariant Safety for Distributed Applications. https://arxiv.org/abs/1903.02759

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓