2010

Scalable Techniques for Formal Verification

Authors:

ISBN: 978-1-4419-5997-3 (Print) 978-1-4419-5998-0 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xiv

  2. Introduction

    1. Front Matter

      Pages 8-8

    2. No Access

      Book Chapter

      Pages 1-5

      Introduction

  3. Preliminaries

    1. Front Matter

      Pages 8-8

    2. No Access

      Book Chapter

      Pages 9-23

      Overview of Formal Verification

    3. No Access

      Book Chapter

      Pages 25-49

      Introduction to ACL2

  4. Sequential Program Verification

    1. Front Matter

      Pages 52-52

    2. No Access

      Book Chapter

      Pages 53-64

      Sequential Programs

    3. No Access

      Book Chapter

      Pages 65-79

      Operational Semantics and Assertional Reasoning

    4. No Access

      Book Chapter

      Pages 81-92

      Connecting Different Proof Styles

  5. Verification of Reactive Systems

    1. Front Matter

      Pages 94-94

    2. No Access

      Book Chapter

      Pages 95-107

      Reactive Systems

    3. No Access

      Book Chapter

      Pages 109-130

      Verifying Concurrent Protocols Using Refinements

    4. No Access

      Book Chapter

      Pages 131-145

      Pipelined Machines

  6. Invariant Proving

    1. Front Matter

      Pages 148-148

    2. No Access

      Book Chapter

      Pages 149-157

      Invariant Proving

    3. No Access

      Book Chapter

      Pages 159-171

      Predicate Abstraction via Rewriting

  7. Formal Integration of Decision Procedures

    1. Front Matter

      Pages 174-174

    2. No Access

      Book Chapter

      Pages 175-177

      Integrating Deductive and Algorithmic Reasoning

    3. No Access

      Book Chapter

      Pages 179-194

      A Compositional Model Checking Procedure

    4. No Access

      Book Chapter

      Pages 195-216

      Connecting External Deduction Tools with ACL2

  8. Conclusion

    1. Front Matter

      Pages 218-218

    2. No Access

      Book Chapter

      Pages 219-221

      Summary and Conclusion

  9. Back Matter

    Pages 223-243