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:
- A curated list of TLA+ resources.☆66Updated 6 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆293Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A TLA+ guide☆279Updated 3 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆289Updated 3 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆79Updated last year
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆189Updated last year
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- Logical Clocks for Eventually Consistent Systems☆362Updated 7 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆47Updated 5 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆136Updated last week
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- Command line binaries for the TLA+ language☆170Updated 2 years ago
- A collection of state machine replication protocols☆119Updated 2 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆187Updated last week
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- A curated list of TLA+ resources.☆151Updated last year
- Python interpreter for TLA+ specifications☆114Updated last year
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- ☆22Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- Fast linearizability checker☆67Updated 10 years ago