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 | ||