Episode 795
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/