Computer Science Department Logo
15-817 Introduction to Model Checking
Main Page
  
Main Page 
 
Lecture Schedule, Notes and Readings
Assignments, Exams and Solutions
 Syllabus
Homework
Assignments
Grading and Policies
Textbook and Other Resources
Grading 
Lecture slides
and Reading 
Professor
Professor 
B.U.G. Logo 15-817 Introduction to Model Checking
Spring 2011 Semester
Computer Science Department
Course Description

Announcements

  • Welcome to 15817!

Lectures

Wednesday from 3:00 to 4:20 pm in GHC 4102.

Contact Information

Professor: Edmund M. Clarke
e­mc A­T c­s DOT cmu DOT e­du
Office: GHC 9231
Phone: (412) 268-2628
Office hours: By appointment
Course Secretary: Denny Marous
d­cm AT c­s DOT cmu DOT e­du
Office: GHC 9229
Phone: 412-268-7660