tlaplus
Here are 142 public repositories matching this topic...
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Updated
- TypeScript
A gently curated list of companies using verification formal methods in industry
- Updated
APALACHE: symbolic model checker for TLA+ and Quint
- Updated
- Scala
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
- Updated
- TLA
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
- Updated
- TLA
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
- Updated
- Python
Learn TLA+ for free! No prior experience necessary!
- Updated
- TLA
A static web application to explore and animate a TLA+ state graph.
- Updated
- JavaScript
Interactive playground for exploring and sharing TLA+ specifications in the browser.
- Updated
- JavaScript
A selection of textbook-like course notes for the Imperial College Computing modules.
- Updated
- TeX
Advanced fuzzing via Model Based Testing for Cosmos blockchains
- Updated
- Python
Generate (message) sequence diagrams from TLA+ state traces
- Updated
- Python
Distributed termination detection on a ring, due to Shmuel Safra:
- Updated
- TLA
Improve this page
Add a description, image, and links to the tlaplus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlaplus topic, visit your repo's landing page and select "manage topics."