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 | ||
sav08:intro [2008/06/03 10:52] vkuncak |
sav08:intro [2008/06/25 10:32] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Software Analysis and Verification 2008 ====== | ====== Software Analysis and Verification 2008 ====== | ||
- | (Taught 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]].) |
[[General Information]] | [[General Information]] | ||
Line 9: | Line 9: | ||
===== Projects ===== | ===== Projects ===== | ||
- | [[Project suggestions]] | + | [[Project suggestions]] (acess only for class members) |
+ | |||
+ | Projects completed by students: | ||
+ | * Ersoy Bayramoglu: Verification of Equals Methods in Java Programs | ||
+ | * Pierre-Evariste Dagand: Model Checking Opis | ||
+ | * Sebastian Gfeller: Combining Jahob and STP to Generate Test Cases | ||
+ | * Thomas Hofer: Solving Satisfiable Constraints over Finite Domains | ||
+ | * Thibaud Hottelier: Counterexample Analysis in Valigator | ||
+ | * David Joaquim: SAT Solver | ||
+ | * Guiliano Losa: Simple constant propagation for the simple programming language | ||
+ | * Stephane Rabie: Term Algebra Quantifier Elimination | ||
+ | * Damien Zufferey: Static Analysis on a Functional Subset of Scala | ||
===== Lectures, Exercises, and Homeworks ===== | ===== Lectures, Exercises, and Homeworks ===== |