General Information:

Instructor:
Marsha Chechik
Email:
chechik@cs.toronto.edu
Office Hours: 
Fridays after class and by appointment 
Office: 
D.L. Pratt 384, X83820 
Lectures: 
Fridays 1-3 in SS2101

Course Administration

Readings

Announcements

Contrary to the syllabus, there WILL be a class on November 28.

Lecture notes

Lecture notes will be posted below. All lecture notes are in 4/page or 6/page postscript format.

Assigments

All assignments are in HTML format.

Links to formal methods software

Homepages for some of the publically available software are listed below. These contain documentation and instructions on how to download and install the systems.
Marsha Chechik
Last modified on September 11, 1997