This presentation was recorded at GOTO Chicago 2016 http://gotochgo.com Caitie McCaffrey - Distributed Systems Diva at Twitter 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