Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav07 [2007/09/16 16:13] vkuncak |
sav07 [2007/09/16 16:14] (current) vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Software Analysis and Verification (March-June 2007 Class) ====== | ====== Software Analysis and Verification (March-June 2007 Class) ====== | ||
| - | This class is taught next in [[sav08:intro|Spring 2008]] | + | This class is taught next in [[sav08:intro|Spring 2008]]. |
| Tools for automated analysis and verification of software can greately improve reliability of software that we use every day. The underlying techniques are also used for compiler optimizations and program understanding. In recent years, new algorithms and combinations of existing techniques have made such tools more effective than in the past. This course gives an overview of basic techniques, as well as the recent advances that made this progress possible. | Tools for automated analysis and verification of software can greately improve reliability of software that we use every day. The underlying techniques are also used for compiler optimizations and program understanding. In recent years, new algorithms and combinations of existing techniques have made such tools more effective than in the past. This course gives an overview of basic techniques, as well as the recent advances that made this progress possible. | ||