Tool Seminar:Perfect Developer Overview
From Dependability
| Overview | | Schedule | | Syllabus | | 2006 Project Guidelines | | Tool List | | Editing Guidelines |
 link
| Spiegel has asked that we read this paper for his talk. |
We won't talk about the paper during the lecture, but Spiegel will assume everyone has read it.
| link
| A brief summary of Safe Object Oriented Software. |
| link
| Binary search example from Perfect Developer. |
| link
| Proofs generated from binary search example. |