As you know, I'll be at Super Computing in Phoenix part of next week. Here's the plan:
Monday: No class.
Wednesday: Watch first 1/2 of E. Dijkstra video and fill out worksheet. Be prepared to discuss how to do program verification, as described by Dijkjstra, using a model checker on Friday.
Friday: Discuss Dijkstra video and discuss last project.
The last project, project 6, will be due Tuesday 11/25 (which really means the 11/26 by 8am) which is the day before the break.
Posted by jones at November 14, 2003 11:14 AM