15-414 Course Syllabus

Following is the list of topics that we intend to cover in the course.  The emphasis of the course is on effective use of verification tools.  We hope that at the end of the course, students will be able to do research in this area.

We will take up the following topics as the time permits:  


Subject to Change - check page frequently