ligurio / mollyLinks
Framework for distributed system's verification, with fault injection.
☆10Updated 11 months ago
Alternatives and similar repositories for molly
Users that are interested in molly are comparing it to the libraries listed below
Sorting:
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆48Updated 5 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Design-by-contract for Go1☆17Updated 6 years ago
- RFCs for changes to the TLA+ specification language☆11Updated 7 months ago
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- model checking samples☆17Updated 4 years ago
- Сборщик метрик☆16Updated 6 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Membership library for Tarantool based on a gossip protocol☆12Updated 2 weeks ago
- TLA+ Foundation☆31Updated 2 weeks ago
- A TLA+ module for animating TLC traces.☆47Updated 11 months ago
- Modeling AWS application load balancers using Alloy☆13Updated 3 years ago
- establish trust in community repositories, cryptographically signed by library authors☆37Updated 2 weeks ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 4 months ago
- ☆32Updated last year
- iproto cli tools☆11Updated 7 years ago
- Raft consensus algorithm implementation☆31Updated 5 years ago
- Jupyter kernel for TLA⁺☆120Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- The TLA⁺ Proof Manager☆100Updated last week
- Modeling DNS with Alloy☆37Updated 3 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆54Updated last year
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year