tlaplus
Here are 115 public repositories matching this topic...
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
-
Updated
Jun 10, 2024 - TypeScript
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
-
Updated
Jun 14, 2023 - TLA
A gently curated list of companies using verification formal methods in industry
-
Updated
Mar 23, 2024
APALACHE: symbolic model checker for TLA+ and Quint
-
Updated
Jun 12, 2024 - Scala
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
-
Updated
May 17, 2024 - TLA
A static web application to explore and animate a TLA+ state graph.
-
Updated
Nov 8, 2023 - JavaScript
Learn TLA+ for free! No prior experience necessary!
-
Updated
May 21, 2024 - TLA
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Jun 11, 2024 - Python
A script for running TLA+/TLC from the command line
-
Updated
Apr 20, 2021 - Python
Advanced fuzzing via Model Based Testing for Cosmos blockchains
-
Updated
Apr 6, 2023 - Python
Interactive, web-based environment for exploring TLA+ specifications.
-
Updated
Jun 12, 2024 - TLA
A tree-sitter grammar for TLA⁺ and PlusCal
-
Updated
May 17, 2024 - C
Model-based testing tool
-
Updated
May 27, 2024 - Python
Distributed termination detection on a ring, due to Shmuel Safra:
-
Updated
Oct 3, 2023 - TLA
A selection of textbook-like course notes for the Imperial College Computing modules.
-
Updated
Mar 23, 2024 - TeX
Proving a blocking queue deadlock free in a dozen different ways
-
Updated
Jun 2, 2021 - Dafny
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."