[PPT] - Formal verification of low-level execution platforms Roberto PowerPoint Presentation