| Last modified: 20070528:094000/version for 2007 | CSE4213 AJH-2007-35 |
Lecture 24 (20070522): Data Correctness
Establishing the Correctness of Data Refinements
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 |
