will62794 / tlaplus_repl
A simple REPL for TLA+.
☆39Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for tlaplus_repl
- Command line binaries for the TLA+ language☆165Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- Jupyter kernel for TLA⁺☆118Updated 2 years ago
- Byzantine model checker☆21Updated last year
- A TLA+ module for animating TLC traces.☆45Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆12Updated 6 months ago
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 2 months ago
- ☆31Updated 2 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- TLA+ questions, answers, and experiments☆22Updated 2 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Lem semantic definition language☆131Updated 8 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆83Updated last week
- Mostly Automated Synthesis of Correct-by-Construction Programs☆147Updated this week
- Tools for conformance monitoring on Kubernetes with TLA+☆20Updated 4 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- A TLA+ guide☆278Updated 2 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆183Updated 11 months ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Updated 7 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆74Updated this week
- Source Code for 'Practical TLA+' by Hillel Wayne☆288Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago