Pawel Szulc - Formal verification applied (with TLA+)
30:06
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
48:10
Ron Pressler - The Practice and Theory of TLA+
47:11
Very Basic Introduction to Formal Verification
36:46
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
45:31
Alloy for TLA+ users - Jay Parlar
59:50
Leslie Lamport: Thinking Above the Code
31:09
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
22:51