The Most Addictive Python and SQL Courses
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Overview
Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk discusses how partial failures and asynchrony complicate building and testing correct distributed systems, and how practitioners can increase confidence in system correctness.
Syllabus
The Verification of a Distributed System • Caitie McCaffrey • YOW! 2016
Taught by
GOTO Conferences