The Verification of a Distributed System • Caitie McCaffrey • GOTO 2016
About this talk
This presentation was recorded at GOTO Chicago 2016 http://gotochgo.com Caitie McCaffrey - Distributed Systems Diva at Twitter @CaitieMcCaffrey FULL TALK TITLE The Verification of a Distributed System – A Practitioner's Guide to Increasing Confidence in System Correctness RESOURCES https://x.com/caitie https://www.linkedin.com/in/caitie-mccaffrey-7831379b https://github.com/CaitieM20 https://www.caitiem.com ABSTRACT Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed to create a correct system, and often times the resulting systems have a high degree of [...] Download slides and read the full abstract here: https://gotocon.com/chicago-2016/presentation/The%20Verification%20of%20a%20Distributed%20System https://twitter.com/gotochgo https://www.facebook.com/GOTOConference http://gotocon.com Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1
Stay Updated
Get notified about new features and conference additions.
