Lecture 24 (20070522): Data Correctness

Last modified: 20070528:094000/version for 2007

CSE4213 AJH-2007-35

Lecture 24 (20070522): Data Correctness

Establishing the Correctness of Data Refinements

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

We show how the proof obligations extend across design through data refinement.

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

previous lecture next lecture

Document History

20070528:094000

6.0.0

ajh

version for 2007

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

1442 accesses since
12 Jun 2007

Generated at 20090702:1840 from an XML file modified on 20070528:1016
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

2069 accesses since 12 Jun 2007, HTML cache rendered at 20120514:1448