TLA+ Courses
NDC Conferences via YouTube Chat with Hillel Wayne about TLA+
Strange Loop Conference via YouTube Turning an Incident Report into a Design Issue with TLA+
USENIX via YouTube Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube Designing Distributed Systems with TLA+
GOTO Conferences via YouTube Building Confidence in Concurrent Code with a Model Checker
NDC Conferences via YouTube Mastering Concurrent Algorithms with TLA+
Linux Foundation via YouTube Proofing the Correctness of CURP Consensus Protocol Using TLA+
CNCF [Cloud Native Computing Foundation] via YouTube Kubernetes Operators - Safety First Through Model Checkers
CNCF [Cloud Native Computing Foundation] via YouTube Formal Methods for Kernel Hackers
Linux Plumbers Conference via YouTube