59:50

Leslie Lamport: Thinking Above the Code

30:06

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

7:27

Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"

3:53:09

TLA+ Tutorial 2021 at DISC 2021

15:12

My 10 “Clean” Code Principles (Start These Now)

20:19

Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)

1:48:39

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.

43:05

Pawel Szulc - Formal verification applied (with TLA+)