Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk examines approaches to verifying distributed systems in the presence of partial failures and asynchrony. It discusses formal methods and less strenuous testing strategies for increasing confidence in system correctness.
