DistributedClocks / tsviz
Tool to visualize executions of multi-threaded systems
☆13Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for tsviz
- Tool for automatically inferring inductive invariants of distributed protocols.☆13Updated last month
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- ☆19Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- Collection of Distributed Protocol Verification Problems☆12Updated 6 months ago
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- TLA+ programs☆9Updated 7 years ago
- Run TLC in cmd☆14Updated 8 months ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆11Updated last month
- Tools for conformance monitoring on Kubernetes with TLA+☆20Updated 4 months ago
- A tool to visualize distributed system logs☆75Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 4 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 10 months ago
- The TLA Proof Manager☆67Updated 2 weeks ago
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- A TLA+ module for animating TLC traces.☆45Updated 4 years ago
- PlusCal Cheat Sheet by Stephan Merz☆20Updated last month
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- ☆31Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆43Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Linearizability Visualizer☆10Updated 9 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- Dynamic analysis of multithreaded C programs☆12Updated 4 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆20Updated 9 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆95Updated 3 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago