[PPT] - Software Verification for Space Applications Part 2. Autonomous PowerPoint Presentation