This is an old revision of the document!
Synthesis, Analysis, and Verification
Here you can access the archives and the latest edition of the course Synthesis, Analysis and Verification design and taught by Professor Viktor Kuncak and his LARA group.
The latest edition of the course is: SAV 2011
Previous editions are: SAV 2010, SAV 2009, SAV 2008