General Information:

Instructor:
Marsha Chechik
Email:
chechik@cs.toronto.edu
Office Hours: 
after class and by appointment 
Office: 
D.L. Pratt 384, X83820 
Lectures: 
Fridays 4-6 p.m., in MP 118

Important Announcements

Course Administration

Readings

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 August 31, 1999