Slide 11 Introduction to Model Checking Ken McMillan Cadence Berkeley Labs [email protected] Slide 2 2 2 Outline l Model checking –Temporal logic –Model checking algorithms…