hwayne / tla-graphing-demoLinks
A demo of analyzing a TLA+ state graph
☆29Updated 2 years ago
Alternatives and similar repositories for tla-graphing-demo
Users that are interested in tla-graphing-demo are comparing it to the libraries listed below
Sorting:
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- An interactive Datalog☆27Updated last week
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated 7 months ago
- ☆53Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- ☆18Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- A description of the relationship between databases, collaboration and Kripke☆28Updated 3 years ago
- A P model of durable Promises☆14Updated last year
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ☆60Updated 6 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆58Updated 3 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆21Updated 4 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Java 8 Collection Utilities☆9Updated 3 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- TLA+ Foundation☆29Updated last week
- Particle Syntax Website☆16Updated 9 months ago
- ☆11Updated 8 months ago