[PPT] - Bounded Model Checking of Software for Real-World Applications Parts PowerPoint Presentation