COMP 681 FORMAL METHODS
Spring 2010


Do only the first problem in Recitation 16. Turn it in before the review session at 3:00 on Wednesday. Be sure to prove the correctness of the algorithm (not just attach assertions).

The review will start at 3:00 on Wednesday, May 5. I'll stay as long as you want me to stay. Come to my office at 3:00 and we'll find an available room. When we find a room, we'll put a note on my office door saying where it is.

The final will be 1:00-3:00 on Thursday, May 6. Come to my office at 1:00 and we'll find an available room. When we find a room, we'll put a note on my office door saying where it is.


The solutions to quizzes and exams are on Blackboard, in Solutions to Quizzes and Exams under Assignments.

The notes and slides for the first half (and more) of the course are now available on Blackboard. Under Course Documents, there is also a folder Summaries. The first two documents therein are relevant to Section 3.1 in the Notes.

We meet in the CS Conference Room MWF 12:00-12:50.


The slides that we go through in class can be found on the Blackboard site for this class, under 'Course Documents', then 'Slides'. These slides are taken from the Course Notes, which are also under 'Course Documents.' You are expected to read the assigned parts of the Course Notes before each class session. Under 'Course Documents,' you will also find 'Summaries,' which contains short summary documents of rules, techniques, and so on.



The course syllabus

Homework Assignments for COMP 681

Recitations for COMP 681

Exams and quizzes for COMP 681