tlaplus
Here are 118 public repositories matching this topic...
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
-
Updated
Sep 30, 2024 - TypeScript
A gently curated list of companies using verification formal methods in industry
-
Updated
Jul 3, 2024
Tutorial "Weeks of debugging can save you hours of TLA ". Each git commit introduces a new concept => check the git history!
-
Updated
Sep 25, 2024 - TLA
APALACHE: symbolic model checker for TLA and Quint
-
Updated
Oct 1, 2024 - Scala
TLA snippets, operators, and modules contributed and curated by the TLA community
-
Updated
Sep 18, 2024 - TLA
Learn TLA for free! No prior experience necessary!
-
Updated
Aug 29, 2024 - TLA
A static web application to explore and animate a TLA state graph.
-
Updated
Nov 8, 2023 - JavaScript
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Sep 30, 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
Generate (message) sequence diagrams from TLA state traces
-
Updated
Feb 5, 2023 - Python
Interactive, web-based environment for exploring TLA specifications.
-
Updated
Aug 16, 2024 - TLA
A tree-sitter grammar for TLA⁺ and PlusCal
-
Updated
Sep 29, 2024 - C
A selection of textbook-like course notes for the Imperial College Computing modules.
-
Updated
Mar 23, 2024 - TeX
Model-based testing tool
-
Updated
May 27, 2024 - Python
Distributed termination detection on a ring, due to Shmuel Safra:
-
Updated
Sep 2, 2024 - 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."