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.
☆74Updated 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:
- Source Code for 'Practical TLA+' by Hillel Wayne☆292Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Jupyter kernel for TLA⁺☆120Updated 3 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆295Updated this week
- A TLA+ guide☆278Updated 3 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆190Updated last year
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Command line binaries for the TLA+ language☆170Updated 2 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆143Updated last week
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆80Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆103Updated 7 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆193Updated last week
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆502Updated this week
- TLA+ Spec of a simplified part of MongoDB replication system☆48Updated 5 years ago
- A curated list of TLA+ resources.☆160Updated last year
- Formal models of core Elasticsearch algorithms☆210Updated 8 months ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- ☆22Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆128Updated 4 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Logical Clocks for Eventually Consistent Systems☆362Updated 7 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago