[PPT] - Modeling and Analyzing Concurrent Systems using Model Checking PowerPoint Presentation