Assignment 2

Download and build TLA+. Specify and verify a nontrivial system of your choosing in TLA+ (preferably, but not necessarily, a distributed system). Present your verification to the class.