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 5 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆188Updated last year
- Pluscal/TLA+ modeling of distributed systems/protocols☆79Updated last year
- A TLA+ guide☆279Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆285Updated 2 weeks ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- A curated list of TLA+ resources.☆141Updated 11 months ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆291Updated 3 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆125Updated this week
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Command line binaries for the TLA+ language☆169Updated 2 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 10 months ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago
- Model-based testing tool☆58Updated 2 months ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Python interpreter for TLA+ specifications☆112Updated 11 months ago