Software Analysis and Verification 2009

Taught in Spring 2009 by LARA group.

Course Information (see also last year's course)

Contacts: Viktor Kuncak, Ruzica Piskac, Philippe Suter (emails use standard EPFL email convention)

This moodle page is available for uploading your solutions.

SAV09 Projects

Course Material and Schedule