Lab for Automated Reasoning and Analysis LARA

Software Analysis and Verification 2008

Projects

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
  • Giuliano 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

  • Project presentations: Thursday, May 29th, 12:00-until we are done

Here are last year's lectures.

 
sav08/intro.txt · Last modified: 2009/03/23 14:05 by vkuncak