4 ms·

What is TLA+?

• pc86 9y ago
  It is a formal specification language. [0] https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html [1] https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
• nickpsecurity 9y ago
  Author has a nice tutorial on a subset of it with practical examples you might find interesting: http://learntla.com/ http://learntla.com/