Summary for Week 4

• Lecture 8:We finished discussing the semaphore example and started on the vending machine example. The SMV file for the vending machine model can be found here.
  Date:Mon, 9/23/02.
• Lecture 9 and 10:We finished disussing the vending machine example. We also started discussing a model checker for software called Verisoft. More information about Verisoft can be found here.
  Dates: Wed, 9/25/02 and Fri, 9/27/02.