Proving the Safety of Highly-Available Distributed Objects

DOI10.1007/978-3-030-44914-8_20OpenAlexW2997905744MaRDI QIDQ5041111

Marc Shapiro, Gustavo Petri, Sreeja S. Nair

Publication date: 13 October 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-44914-8_20

zbMATH Keywords

consistencyautomatic verificationtool supportdistributed application designreplicated objects

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Boogie
• GitHub
• Archive Formal Proofs
• CRDT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eventual consistency for CRDTs
• 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
• Replicated data types

This page was built for publication: Proving the Safety of Highly-Available Distributed Objects