LARA Some Verification-Related Quizzes 2015 https://lara.epfl.ch/w/_media/sav17/quiz_solutions2015.pdf 2013 https://lara.epfl.ch/w/_media/sav17/quiz_solutions2013.pdf 2012 https://lara.epfl.ch/w/_media/sav13/quiz_2012.pdf https://lara.epfl.ch/w/_media/sav13/quiz_solutions_2012.pdf 2011 Quiz 1 Quiz 2 2010 Quiz 1 Quiz 2
