Lecture 10: Discharging Proof Obligations

Last modified: 20070327:133456/add progress comment

CSE4213 AJH-2007-19

Lecture 10: Discharging Proof Obligations

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

A worked example of how to approach the task of discharging proof obligations.

Covered in this lecture: slides 1-20 (presentation/slides)

previous lecture next lecture

Document History

20070327:133456	6.0.1	ajh	add progress comment
20070322:150556	6.0.0	ajh	version for 2007

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

1432 accesses since
21 Apr 2007

Generated at 20090704:1452 from an XML file modified on 20070417:1711
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

1508 accesses since 21 Apr 2007, HTML cache rendered at 20091122:0609