TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 4, 2024 - Java
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Model-based testing tool
Interactive, web-based environment for exploring TLA+ specifications.
Learn TLA+ for free! No prior experience necessary!
The Official Plugin for ProjectKorra.
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
TLA+ specification of Flexible Paxos
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."