Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk demonstrates how to use TLA+ to model-check concurrent system designs for potential errors. It explains how this approach can reveal concurrency bugs that conventional practices such as unit testing and code review may miss.
