CSci 420/520: Software Development with Formal Methods

News

Sep 19: Wednesday, Sep 21 class has been moved to Tuesday, Sep 20 at 1pm. Homework 3 is still due at 1pm on Wednesday.
Sep 7: Proof of max algorithm is up.
Sep 2: Picture with names is posted below.
Sep 1: There may be some pages missing in your printout of the Therac-25 paper. If so, you can find the full paper here.
Aug 31: Office hours are now MW 2-4 (and by appointment).
Aug 31: Paper packets are now available in the CS office for $15.
Aug 31: We are now in McGloughlin-Street 002.
Aug 24: Class starts.

PVS

Alloy Analyzer

Bibliography (Contains papers we will read, among others. See the schedule for more information.)

Note: Some of these homework assignments may look strange under standards-incompliant web browsers like IE. If they do, try Firefox.

Feel free to work ahead, but keep in mind that future assignments may be altered (likely) or even canceled (unlikely).

Back to David Coppit's Homepage.

Last changed May 21 2008 15:35:59. David Coppit, coppit@cs.wm.edu

There have been 1231993 hits since Thu Jun 9 14:49:55 2005