trvedata / crdt-isabelle
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.
☆72Updated 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
- TLA+ specification of Flexible Paxos☆38Updated last year
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆187Updated last year
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆275Updated 3 weeks ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- A TLA+ guide☆278Updated 2 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- Jupyter kernel for TLA⁺☆119Updated 2 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 10 months ago
- A curated list of TLA+ resources.☆138Updated 6 months ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- Command line binaries for the TLA+ language☆167Updated last year
- Source Code for 'Practical TLA+' by Hillel Wayne☆291Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 10 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- TLA+ specifications related to Viewstamped Replication☆31Updated last year
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- Logical Clocks for Eventually Consistent Systems☆353Updated 6 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆91Updated this week
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 8 months ago
- A Logical Clock for Static and Dynamic Systems☆159Updated 6 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆163Updated 3 weeks ago