15-398 Bug Catching: Automated Program
Verification and Testing
Fall 2002 Semester Computer Science Department |
This course is about finding and preventing logical errors in concurrent systems, e.g., programs, hardware devices,controllers. Though formal analysis requires understanding of many theoretical issues, the focus of this course will be on using practical verification tools to analyze interesting examples. We will cover just enough theory to use the tools effectively and understand the examples. The assignments will involve using some type of verification tool to find bugs in interesting designs. We do not assume any prior knowledge of computer hardware, however, students who know hardware will find these techniques to be very useful.
I posted the grades for homeworks 5 and 6 (the optional final
project).
See the assignment page for details.
Please check that all the homeworks you handed in received a grade
and contact me as soon as possible if any homework is missing a
grade.
Classes
T, Th 12:00 - 1:20 pm Wean Hall Rm 5409 |
|
Teaching Assistant:
Flavio Lerda
Office: WeH 4112 E-mail: flerda@andrew.cmu.edu Phone: (412) 268-3047 Office hours: Friday 12:45-1:45 or by appointment through phone or email |
Course Secretary: Maurelle Copeland
Office: Wean Hall Rm 7116 E-mail: chansen@cs.cmu.edu Phone: (412) 268-7660 Fax: (412) 268-5576 |