| School of Computer Science | University of Waterloo |
1:00–2:20 T Th in DC 2585.
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 M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith. Model Checking (Second Edition) |
Lecture Schedule (including associated readings).
Assignments 35%.
Presentation 35%.
Class Participate 30%.