tlaplus-study-group

TLA+ is property testing for your temporal logic, sis.

Week 1 Links

https://learntla.com/introduction/

http://lamport.azurewebsites.net/tla/learning.html

Week 1 Additional Resources\

TLA+ with Leslie Lamport Podcast

The CaSe for Formal Methods

SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

Code Checking Automation