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
- Jupyter kernel for TLA⁺☆119Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆98Updated 6 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆99Updated this week
- A curated list of TLA+ resources.☆66Updated 5 years ago
- A curated list of TLA+ resources.☆137Updated 8 months ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆187Updated last year
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆176Updated this week
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Command line binaries for the TLA+ language☆171Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 11 months ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 3 years ago
- Implementation of Raft consensus algorithm☆111Updated 10 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- A TLA+ module for animating TLC traces.☆46Updated 3 months ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆291Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Eris distributed transactions☆52Updated 6 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆60Updated 9 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- A TLA+ guide☆278Updated 2 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆278Updated 2 months ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago