Hillel Wayne on TLA+

Comments [0]

Episode 795

Hillel Wayne on TLA+

TLA+ is a formal specification language that allows you to create and validate your software design. Hillel Wayne describes this tool, how it works, and how to use it.

Links:
https://lamport.azurewebsites.net/tla/tla.html
https://learntla.com/