LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
sav07 [2007/07/12 10:54]
vkuncak
sav07 [2007/09/16 16:13]
vkuncak
Line 1: Line 1:
-====== Software Analysis and Verification (Summer ​2007 Class) ======+====== Software Analysis and Verification (March-June ​2007 Class) ====== 
 + 
 +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.
Line 61: Line 63:
  
   * To receive class announcements,​ make sure to subscribe to the [[http://​listes.epfl.ch/​cgi-bin/​doc?​liste=sav07|course mailing list]]   * To receive class announcements,​ make sure to subscribe to the [[http://​listes.epfl.ch/​cgi-bin/​doc?​liste=sav07|course mailing list]]
 +
  
  
Line 86: Line 89:
     * Homeworks: homeworks are assigned on exercises each Thursday and are due in paper form (for theoretical part) and electronic form (for implementation part), by the start of the class on next Thursday, unless otherwise stated. ​ Each exercise starts with the discussion and initial grading of the previous week's homework. We then continue with the new discussion and preparation for the next homework.     * Homeworks: homeworks are assigned on exercises each Thursday and are due in paper form (for theoretical part) and electronic form (for implementation part), by the start of the class on next Thursday, unless otherwise stated. ​ Each exercise starts with the discussion and initial grading of the previous week's homework. We then continue with the new discussion and preparation for the next homework.
     * Paper discussions:​ Some of the classes involve paper discussions. In that case, the homework for the class is to write a critical summary of the paper to be discussed.     * Paper discussions:​ Some of the classes involve paper discussions. In that case, the homework for the class is to write a critical summary of the paper to be discussed.
-    * In the second half of the semester, there will be no implementation homework. Instead, students work on their project. Please discuss the topic of your possible projects as early as possible. In the last weeks, students present their projects in the class and hand write up a 5 page paper on their project.+    * In the second half of the semester, there will be no implementation homework. Instead, students work on their project. Please discuss the topic of your possible projects as early as possible. In the last weeks, students present their projects in the class and hand in a 5 page paper on their project.
  
 The original {{class-desc.pdf|class description}}. The original {{class-desc.pdf|class description}}.