Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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.
 
sav07.txt · Last modified: 2007/09/16 16:14 by vkuncak
 
© EPFL 2018 - Legal notice