CS 734: Formal Methods for Real Time Systems

Assignment 3 is now available in postscript and PDF.

NOTE: The class will take place Thursdays from 1:30-4:30 in ITB/222. The preliminary meeting for the class is scheduled for Thursday January 10th at 1:30 PM in ITB/222.

A detailed course outline is available in HTML format. It contains links to lecture slides relevant to each section of the outline. Alternatively you can browse through the CS 734 Lecture slides and assignment handouts in the Notes directory.


Please check the references page for a complete listing of recommended reading.



   Say it ain't so,
   I will not go, 
   turn the lights off, 
   carry me home


From All The Small Things by Blink-182

Mark Lawford

 Last Modified on  Last modified: Mon Apr 1 15:37:30 EST 2002