General Information:

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

Important Announcements

Course Administration

Readings

Lecture notes

Assigments

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 October 29, 2000