Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
An instructional website with progressively worked examples of TLA+ specifications and model checking.
The TLA+ Video Course by Leslie Lamport
📜 WIP Hop Protocol TLA+ Specification
A collection of various TLA+ examples and helper functions for learning.
Bitcoin layer 2 contracts specifications using TLA+
The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
Temporal Logic of Actions in Rust via Starlark
The PacketLab Access Control Design TLA+ Specification
Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker.
AI-driven development framework with adaptive formal methods - Build from PoC to mission-critical systems through AI chat dialogue
ClojureScript REPL with Google Gemini API integration - Interactive console for AI conversations
Add a description, image, and links to the tla-plus topic page so that developers can more easily learn about it.
To associate your repository with the tla-plus topic, visit your repo's landing page and select "manage topics."