Summary for Week 7

• Lecture 17:This was a lecture on SLAM, which is a model checker for C programs. SLAM is project at Microsoft research. We used the slides provided by Sriram Rajamani. SLAM presentation can be found here. The SLAM homepage can be found here.
  Date: Mon, 10/24/02.
• Lecture 18:In this lecture we finished our discussion on RTCTL. We started to discuss relational modeling.
  Date: Fri, 10/18/02.