[PPT] - Formal Verification of Stack Manipulation in the SCIP Processor J. PowerPoint Presentation