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:lecture25 [2008/05/22 13:39] vkuncak |
sav08:lecture25 [2008/05/22 13:41] vkuncak |
||
---|---|---|---|
Line 57: | Line 57: | ||
* [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] (sections 4,5,6,7 in particular), and {{sav08:schwartzbach.pdf|pdf file}} | * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] (sections 4,5,6,7 in particular), and {{sav08:schwartzbach.pdf|pdf file}} | ||
+ | * [[http://infoscience.epfl.ch/record/104078|Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis]] | ||