mcb this is the binary for the dept unix server machine: meet.fsm.good model of the meeting protocol this command line: ./mcb meet.fsm.good then when it asks for fairness constraints give "." and return After that type in temporal logic assertions about the model. End the run with a "." as the total assertion.