The Verification of a Distributed System by Caitie McCaffrey | Open Awesome