Back to the knowledge base

tla

By dreamreal · 24 March 2026 · 211 lookups

Text

TLA+ is a formal specification language for modeling concurrent and distributed systems, and proving their correctness.

URLs

https://lamport.azurewebsites.net/tla/tla.html