Ron Pressler - The Practice and Theory of TLA+
43:05
Pawel Szulc - Formal verification applied (with TLA+)
54:47
Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
45:31
Alloy for TLA+ users - Jay Parlar
22:46
A Conversation with Turing Award Winner Leslie Lamport
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
44:43
Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
36:46
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
1:20:08