Summary for Week 2

• Lecture 3 and 4:In these lectures we started discussing model checking. We discussed the syntax and semantics of temporal logics CTL*, CTL, and CTL. The discussion was based on the following document.
  Dates:Wed, 9/11/02 and Fri, 9/13/02.
• Mon, 9/9/02: I had to cancel class because of personal reasons. We will make up this class at a later date.