Summary for Week 2
-
Lecture 3 and 4:In these two lectures we discussed basics of model checking.
We discussed the syntax and semantics of temporal logics CTL*, CTL, and CTL. The discussion was based on the
following document.
Dates:Mon, 9/10/01 and Wed, 9/12/01.
- Fri, 9/14/01: UW-Madison cancelled class on this day. There was
a gathering to remember the victims of the terrorist bombings on the World Trade Center
and the Pentagon.