Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:intro [2008/06/25 10:32] vkuncak |
sav08:intro [2009/03/23 14:05] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Software Analysis and Verification 2008 ====== | ====== Software Analysis and Verification 2008 ====== | ||
- | (Taught in Spring 2008 by [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]] and [[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]] from the [[http://lara.epfl.ch|LARA group]].) | + | Taught in Spring 2008 by [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]] and [[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]] from the [[http://lara.epfl.ch|LARA group]]. |
+ | * later edition: [[sav09:top|Software Analysis and Verification 2009]] | ||
[[General Information]] | [[General Information]] | ||
Line 18: | Line 19: | ||
* Thibaud Hottelier: Counterexample Analysis in Valigator | * Thibaud Hottelier: Counterexample Analysis in Valigator | ||
* David Joaquim: SAT Solver | * David Joaquim: SAT Solver | ||
- | * Guiliano Losa: Simple constant propagation for the simple programming language | + | * Giuliano Losa: Simple constant propagation for the simple programming language |
* Stephane Rabie: Term Algebra Quantifier Elimination | * Stephane Rabie: Term Algebra Quantifier Elimination | ||
* Damien Zufferey: Static Analysis on a Functional Subset of Scala | * Damien Zufferey: Static Analysis on a Functional Subset of Scala |