15-817 Introduction to Model Checking
|
|
Main
Page
|
|
|
|
Syllabus
|
Homework Assignments
|
|
|
Grading
|
Lecture slides and Reading
|
|
Professor
|
|
![B.U.G. Logo](images/bug_anim_small.gif) |
15-817 Introduction to Model Checking
Spring 2011 Semester
Computer Science Department |
Course Description
Announcements
Lectures
Wednesday from 3:00 to 4:20 pm in GHC 4102.
Contact Information
Professor:
Edmund M. Clarke
emc AT cs DOT cmu DOT edu
Office: GHC 9231
Phone: (412) 268-2628
Office hours: By appointment
|
Course Secretary:
Denny Marous
dcm AT cs DOT cmu DOT edu
Office: GHC 9229
Phone: 412-268-7660
|
|