Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:intro [2008/06/03 10:52] vkuncak |
sav08:intro [2008/06/25 10:27] vkuncak |
||
|---|---|---|---|
| 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 ===== | ||