TLA+

Some quick links for me:

• https://lamport.azurewebsites.net/tla/tla.html
• http://lamport.azurewebsites.net/tla/hyperbook.html
• https://pron.github.io/
• There's a video on the main page
• https://pron.github.io/posts/tlaplus_part1
• https://pron.github.io/posts/tlaplus_part2
• http://lamport.azurewebsites.net/video/videos.html
• https://en.wikipedia.org/wiki/TLA%2B
• https://www.learntla.com/introduction/
• https://en.wikipedia.org/wiki/Certified_Information_Systems_Security_Professional