1. Integrating Model Checking and Procedural LanguagesDavid Owen July 19, 2004 2. Overview Background:verification / search tools, criteria for when to…
1. Integrating Model Checking and Procedural LanguagesDavid Owen July 19, 2004 2. Overview Background:verification / search tools, criteria for when to…
Integrating Model Checking and Procedural Languages David Owen July 19, 2004 test Overview Background: verification / search tools, criteria for when to use which tool, combining…