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:importance_of_verification [2010/01/25 11:49] vkuncak |
sav08:importance_of_verification [2010/02/22 11:28] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Importance of Software Analysis and Verification ====== | + | ====== Importance of Synthesis, Analysis and Verification ====== |
| - | ===== Applications of Software Analysis and Verification ===== | + | ===== Applications ===== |
| - | * Reliability - higher assurance in program correctness by automated proofs (focus of this class) | + | * Reliability - higher assurance in program correctness by automated proofs |
| * Programmer productivity - feedback on errors while typing program in e.g. Eclipse | * Programmer productivity - feedback on errors while typing program in e.g. Eclipse | ||
| * [[http://snobol.cs.berkeley.edu/prospector/index.jsp|Prospector tool for finding code snippets]] | * [[http://snobol.cs.berkeley.edu/prospector/index.jsp|Prospector tool for finding code snippets]] | ||
| Line 111: | Line 111: | ||
| {{sav08:harrison-slides.pdf|Theorem Proving for Verification}} slides of tutorial by [[http://www.cl.cam.ac.uk/~jrh|John Harrison]] in [[http://www.princeton.edu/cav2008/|CAV 2008]] | {{sav08:harrison-slides.pdf|Theorem Proving for Verification}} slides of tutorial by [[http://www.cl.cam.ac.uk/~jrh|John Harrison]] in [[http://www.princeton.edu/cav2008/|CAV 2008]] | ||
| + | |||