Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav [2011/02/22 12:16] vkuncak |
sav [2015/01/10 13:00] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Synthesis, Analysis, and Verification ====== | ====== Synthesis, Analysis, and Verification ====== | ||
| - | | + | ---- |
| - | The latest edition of the course is: **[[sav11:top|SAV 2011]]** | + | Here you can access the archives and the latest edition of the course **Synthesis, Analysis and Verification** design and taught by Professor [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]] and his [[http://lara.epfl.ch|LARA]] group. |
| - | Previous editions: [[sav10:top|SAV 2010]], [[sav09:top|SAV 2009]], [[sav08:intro|SAV 2008]] | + | The latest edition of the course is: [[sav15:top|SAV 2015]]**** |
| + | |||
| + | Previous editions are: [[sav13:top|SAV 2013]], [[sav12:top|SAV 2012]], [[sav11:top|SAV 2011]], [[sav10:top|SAV 2010]], [[sav09:top|SAV 2009]], [[sav08:intro|SAV 2008]] | ||
| + | |||
| + | ---- | ||