Last modified: 20070528:093847/version for 2007

CSE4213 AJH-2007-36

Lecture 25 (20070528): Loop Correctness

Establishing the Correct Behaviour of Loops

Establishing the Correct Behaviour of Loops

presentation slides as given in lectures, with multiple slides per points 20 pages
notes the slides reduced to note form, even more suitable for printing 4 pages

We show how the proof obligations are extended by the introduction of loops into the design through algorithm refinement.

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

previous lecture next lecture

Document History

20070528:093847 6.0.0 ajh version for 2007
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
1486 accesses since
12 Jun 2007
My PhotoTrain Photo

Generated at 20090705:0417 from an XML file modified on 20070528:1025
Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

2072 accesses since 12 Jun 2007, HTML cache rendered at 20120514:2318