LARA Synthesis, Analysis, and Verification Here you can access the archives and the latest edition of the course Synthesis, Analysis and Verification. The latest edition of the course: SAV 2017 Previous editions are: SAV 2015, SAV 2013, SAV 2012, SAV 2011, SAV 2010, SAV 2009, SAV 2008