[PPT] - Program Transformation and Constraint-based Verification Valerio PowerPoint Presentation