Toggle navigation
Home
Categories
AI
Architecture
Backends
Clouds
Conferences
Containers
Developer Relations
Distribution and Distributed Systems
Formats
Game Development
Hardware
Language Development
Languages
Libraries
Management
Patterns
Places of interest on the Internet
Platforms
Presentation
Reading
Security
Speaking
Storage
Teaching
Thinking
Tools
Virtual Machines
Writing
All Pages
All Tags
Subscribe (RSS)
Temporal Logic of Actions (TLA+)
A language and tool to verify the correctness of a series of actions, based on mathematical foundations.
Website
Reading
Specifying Systems
"The Part-Time Parliament"
"Teaching Concurrency"
The Future of TLA+
"An Introduction to TLA+ and its Use in Parties"
"Learn TLA"
Systems Correctness Practices at AWS
Tags:
language
tool
specification
Last modified 21 June 2026