Slide 1 (c) 2007 Mauro Pezzè & Michal Young Ch 7, slide 1 Symbolic Execution and Proof of Properties Slide 2 (c) 2007 Mauro Pezzè & Michal Young Ch 7, slide 2 Learning…