Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk introduces TLA+ for specifying distributed systems and checking their designs alongside code testing. Practical examples show how it can help uncover concurrency bugs such as stalls, race conditions, and dropped messages.
