Wednesday, September 27, 2017

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

No comments: