TLA+ Courses

The Verification of a Distributed System - A Practitioner's Guide to Increasing Confidence in System Correctness
GOTO Conferences via YouTube Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022
Code Sync via YouTube A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability
ACM SIGPLAN via YouTube

< Prev Page 2