[PPT] - Verified translation validation of static analyses Sandrine Blazy PowerPoint Presentation