TLA+

icon indicating a website link http://lamport.azurewebsites.net/tla/tla.html icon indicating an email [email protected]

icon location TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.

Results 11 repositories owned by TLA+

foundation

24
Stars
2
Forks
Watchers

TLA+ Foundation

verified publisher icon tlaplus