How to run the model checker


  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.