A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by kureikain on Thursday March 05, 2020 @04:34PM (#22498586)

If anyone is trying to learn TLA+, this site looks like a good one: https://learntla.com/ too

[ Parent | on HN ]

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by dwohnitmok on Thursday March 05, 2020 @06:36PM (#22499593)

OP is perhaps being a bit modest, but his own website https://pron.github.io/tlaplus is a fantastic resource.

[ Parent | on HN ]

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by lemmster on Thursday March 05, 2020 @06:10PM (#22499374)

Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html

[ Parent | on HN ]

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by veeralpatel979 on Thursday March 05, 2020 @09:54PM (#22500635)

I liked the Practical TLA+ book:

[ Parent | on HN ]