| About CSE4213 | Assessment | Contacts | Lectures | Resources | Timetables | Tutorials |
| Last modified: 20070404:093454/version for 2007 | CSE4213 AJH-2007-21 |
Discharging Proof Obligations (continued) | Case Study: A Simple File System
| presentation | slides as given in lectures, with multiple slides per points | 41 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 41 pages |
| notes | the slides reduced to note form, even more suitable for printing | 9 pages |
Continuing the worked example of how to approach the task of discharging proof obligations. The focus here is upon the nature of the proof rules used in discharging the proof obligations,
Covered in this lecture: slides 31-41 (presentation/slides)
| presentation | slides as given in lectures, with multiple slides per points | 36 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 36 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
A case study showing how to specify a file system. Uses sequences.
Covered in this lecture: slides 1-13 (presentation)
previous lecture next lecture| 20070404:093454 | 6.0.0 | ajh | version for 2007 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|   | |
Generated at 20090703:0349 from an XML file modified on 20070417:1712 | |||