[PPT] - Backward Analysis via Over-Approximate Abstraction and PowerPoint Presentation