[PPT] - Symbolic Verification of Programs with Pointers using Tree Automata PowerPoint Presentation