Contains TLA+ specifications of Distributed System algorithms.
- TLA+ is a formal specification language created by Leslie Lamport in order to make modeling of complex Distributed Systems easier.
- You can read more about it here: https://lamport.azurewebsites.net/tla/tla.html
- In essence, the language allows the user to check for invariant and algorithm consistency violations, so as to maintain program correctness.