Abstraction Refinement for Large Scale Model Checking

Authors:

ISBN: 978-0-387-34155-2 (Print) 978-0-387-34600-7 (Online)

Table of contents (9 chapters)

  1. No Access

    Book Chapter

    Pages 1-10

    Introduction

  2. No Access

    Book Chapter

    Pages 11-40

    Symbolic Model Checking

  3. No Access

    Book Chapter

    Pages 41-54

    Abstraction

  4. No Access

    Book Chapter

    Pages 55-83

    Refinement

  5. No Access

    Book Chapter

    Pages 85-100

    Compositional SCC Analysis

  6. No Access

    Book Chapter

    Pages 101-119

    Disjunctive Decomposition

  7. No Access

    Book Chapter

    Pages 121-135

    Far Side Image Computation

  8. No Access

    Book Chapter

    Pages 137-152

    Refining SAT Decision Ordering

  9. No Access

    Book Chapter

    Pages 153-156

    Conclusions