Lab for Automated Reasoning and Analysis LARA


This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture13 [2008/04/09 10:54]
sav08:lecture13 [2008/04/09 18:58] (current)
Line 29: Line 29:
 [[Proving Programs with Dynamic Allocation]] [[Proving Programs with Dynamic Allocation]]
-===== Procedure Calls =====+===== Procedures ​=====
 [[Language with Specified Procedures]] [[Language with Specified Procedures]]
 [[Relational Semantics of Procedures]] [[Relational Semantics of Procedures]]
-[[Assume Guarantee Reasoning with Procedures]] 
-[[Correctness of A/G Reasoning]] 
-[[Frame Conditions]] 
-[[Simple Module Invariants]] 
sav08/lecture13.txt · Last modified: 2008/04/09 18:58 by vkuncak
© EPFL 2018 - Legal notice