trvedata / crdt-isabelleLinks
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
☆73Updated 2 years ago
Alternatives and similar repositories for crdt-isabelle
Users that are interested in crdt-isabelle are comparing it to the libraries listed below
Sorting:
- TLA+ specification of Flexible Paxos☆40Updated last year
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆47Updated 5 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆79Updated last year
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆189Updated last year
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 10 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Command line binaries for the TLA+ language☆169Updated 2 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆184Updated last week
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆128Updated this week
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆291Updated 3 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- A TLA+ guide☆278Updated 2 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆125Updated 3 years ago
- Python interpreter for TLA+ specifications☆112Updated last year
- A curated list of TLA+ resources.☆146Updated last year
- A TLA+ module for animating TLC traces.☆46Updated 6 months ago
- ☆22Updated 5 years ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆285Updated last month
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago