20 results found Sort:
- Filter by Primary Language:
- TLA (8)
- Python (5)
- JavaScript (1)
- Scala (1)
- TeX (1)
- C (1)
- TypeScript (1)
- Dafny (1)
- +
A collection of TLA⁺ specifications of varying complexities.
Created
2016-03-01
423 commits to master branch, last one about a month ago
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Created
2021-05-28
3,539 commits to main branch, last one a day ago
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Created
2016-07-20
71 commits to master branch, last one 2 years ago
A gently curated list of companies using verification formal methods in industry
Created
2018-02-13
95 commits to master branch, last one 5 months ago
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Created
2019-11-06
41 commits to main branch, last one about a month ago
APALACHE: symbolic model checker for TLA+ and Quint
Created
2015-07-03
6,416 commits to main branch, last one 4 days ago
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Created
2019-05-22
280 commits to master branch, last one 3 days ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
177 commits to master branch, last one about a month ago
A static web application to explore and animate a TLA+ state graph.
Created
2021-04-05
17 commits to main branch, last one about a year ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
121 commits to main branch, last one 5 days ago
Interactive, web-based environment for exploring and visualizing TLA+ specifications.
Created
2021-11-24
947 commits to master branch, last one 2 days ago
A script for running TLA+/TLC from the command line
Created
2020-01-10
32 commits to master branch, last one 4 years ago
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Created
2022-01-17
221 commits to dev branch, last one about a year ago
Generate (message) sequence diagrams from TLA+ state traces
Created
2022-02-26
103 commits to master branch, last one about a year ago
A selection of textbook-like course notes for the Imperial College Computing modules.
Created
2022-10-07
191 commits to master branch, last one 9 months ago
A tree-sitter grammar for TLA⁺ and PlusCal
Created
2021-03-10
128 commits to main branch, last one about a month ago
Model-based testing tool
Created
2021-01-21
444 commits to dev branch, last one 6 months ago
Distributed termination detection on a ring, due to Shmuel Safra:
Created
2021-09-20
102 commits to main branch, last one 3 months ago
Proving a blocking queue deadlock free in a dozen different ways
Created
2020-02-20
7 commits to master branch, last one about a month ago
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
This repository has been archived
(exclude archived)
Created
2021-05-17
104 commits to main branch, last one about a year ago