LARA This is an old revision of the document! Synthesis, Analysis, and Verification The latest edition of the course is: SAV 2011 Previous editions: SAV 2010, SAV 2009, SAV 2008