Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:lecture13 [2008/04/08 23:13] vkuncak |
sav08:lecture13 [2008/04/09 10:21] vkuncak |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| Today we | Today we | ||
| - | * use FOL to show how to verify linked data structures | + | * use FOL to verify linked data structures |
| * show how to specify and verify programs with procedures | * show how to specify and verify programs with procedures | ||