| School of Computer Science | University of Waterloo |
1:00–2:20 T Th in DC 2568.
Instructor
Richard Trefler
(David R. Cheriton School of Computer Science)
Email: trefler at cs.uwaterloo.ca.
Office: DC 2336.
Office hours: after class and by appointment.
|
Email: Office: Time: |
Email: Office: Time: |
The text book for the course is:
| Edmund Clarke, Orna Grumberg and Doron Peled. Model Checking (First Edition) |
Lecture Schedule (including associated readings).
Assignments 50%.
Presentation 25%.
Class Participate 25%.