TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 12, 2024 - Java
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Interactive, web-based environment for exploring TLA+ specifications.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
The Official Plugin for ProjectKorra.
Model-based testing tool
Learn TLA+ for free! No prior experience necessary!
APALACHE: symbolic model checker for TLA+ and Quint
Different TLA+ specifications, mostly for learning purposes
LRSPipe is an xAPI Statement forwarding/middeware process governed directly by xAPI Profiles.
TLA+ language support for Visual Studio Code
TLA+ verification of distributed protocols
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:TLA category for AI2001, containing TLA programming language datasets
Temporal Logic of Actions in Rust via Starlark
Add a description, image, and links to the tla topic page so that developers can more easily learn about it.
To associate your repository with the tla topic, visit your repo's landing page and select "manage topics."