Pawel Szulc - Formal verification applied (with TLA+)
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
45:38
Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022
46:52
Type-based formal verification - Alejandro Serrano
36:46
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
48:10
Ron Pressler - The Practice and Theory of TLA+
31:09
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
1:10:55
Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research
1:37:49