What's New
05/09/08 | Information about the final has been added to the Exams section. |
04/28/08 | A sample solution for Exercise 6 has been added as a zip file containing a Together project . |
04/22/08 | The second mini-project has been assigned (see the Projects section). It is due on Friday, May 2, 2008 by 11:59pm. |
04/16/08 | A sample solution for Exercise 5 has been added as a zip file containing a Together project . |
04/16/08 | The small primer on using the Together tool has been expanded. See the Tools section. |
03/21/08 | The Readings, Tools and Resources sections have been updated. |
03/18/08 | Midterm scheduling information for long distance students is now available in the Exams section. |
03/10/08 | The Midterm has been scheduled for Thu, Mar 27. Please check the Exams section for additional information about the exam. |
02/26/08 | The lectures notes for the Feb 21 class have been expanded. Pages 28 to 33 are new. Please check those new pages too. |
02/22/08 | The first mini-project has been assigned (see the Projects section). It is due on Friday, March 7, 2008 by 11:59pm. |
02/14/08 | Great news about the 2007 Turing award. (While you read the article, recall that k-induction is a form of model checking.) |
02/14/08 | More exercises on have been posted in the Exercises section. Additional exercises will be posted as we go. Check the Lectures section to see the exercises assigned week by week. |
02/12/08 | Solutions to Exercise 1 and 2 have been posted in the Exercises section. |
02/02/08 | Exercises on the topics presented in class this week have been posted in the Exercises section. |
01/23/08 |
The class notes for yesterday's lecture have been posted
in the Lectures section.
From now on, they will be posted after each class, with no announcements here. |
01/22/08 |
Welcome to the 22c:181 web site!
Please check this section on a regular basis for announcements, or for updates to the other sections of the site. |