The Verification of a Distributed System by Caitie McCaffrey