The Verification of a Distributed System • Caitie McCaffrey • YOW! 2016 | GOTO Conferences | Podwise