lecture-17-intro-to-model-check-2

lecture-17-intro-to-model-check-2 - Lecture 17 Model...

Info icon This preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 17 - Model Checking Introduction Spring 2010 CSci 5802 - Dr. Mats Heimdahl 1 Introduction to Model Checking A *very* brief start…… 1 Spring 2010 CSci 5802 - Dr. Mats Heimdahl Topics for Today The Idea of Model Checking B i Id f E li it St t M d l Ch ki http://www Basic Idea of Explicit State Model Checking Explicit Search Basic Idea Behind Symbolic Model Checking Bounded Model Checking and Beyond w.umsec.umn.edu Spring 2010 CSci 5802 - Dr. Mats Heimdahl 2 NuSMV Demonstration
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon