15817 Introduction to Model Checking


Main
Page




Syllabus

Homework Assignments



Grading

Lecture slides and Reading


Professor



15817 Introduction to Model Checking
Fall 2009 Semester
Computer Science Department 
Course Description
Announcements
Lectures
Thursdays from 3:004:20pm in GHC 5222.
Contact Information
Professor:
Edmund M. Clarke
emc AT cs DOT cmu DOT edu
Office: GHC 9231
Phone: (412) 2682628
Office hours: By appointment

Teaching Assistant:
Will Klieber
wklieber AT cs DOT cmu DOT edu
Office: GHC 7511
Phone: 4122682582
Office hours: By appointment

Course Secretary:
Denny Marous
dcm AT cs DOT cmu DOT edu
Office: GHC 9229
Phone: 4122687660

