Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture25 [2008/05/26 15:07]
vkuncak
sav08:lecture25 [2008/05/26 15:07] (current)
vkuncak
Line 42: Line 42:
  
 [[Symbolic Shape Analysis]] [[Symbolic Shape Analysis]]
 +
  
 ===== Interprocedural Analysis ===== ===== Interprocedural Analysis =====
Line 53: Line 54:
 Synthesizing Contracts Synthesizing Contracts
  
-Using Set Constraints with Projections+Using Set Constraints with Projections ​to Eliminate False Paths
  
 Control-Flow Analysis and Dynamic Dispatch Control-Flow Analysis and Dynamic Dispatch
 
sav08/lecture25.txt · Last modified: 2008/05/26 15:07 by vkuncak
 
© EPFL 2018 - Legal notice