tla

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

Sign in to change this factoid.