[PPT] - Verasco: Formal verification of a C static analyzer based on PowerPoint Presentation