Rigorous Software Development

An Introduction to Program Verification

ISBN: 978-0-85729-017-5 (Print) 978-0-85729-018-2 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XII

  2. No Access

    Book Chapter

    Pages 1-13

    Introduction

  3. No Access

    Book Chapter

    Pages 15-44

    An Overview of Formal Methods Tools and Techniques

  4. No Access

    Book Chapter

    Pages 45-79

    Propositional Logic

  5. No Access

    Book Chapter

    Pages 81-128

    First-Order Logic

  6. No Access

    Book Chapter

    Pages 129-157

    Hoare Logic

  7. No Access

    Book Chapter

    Pages 159-179

    Generating Verification Conditions

  8. No Access

    Book Chapter

    Pages 181-194

    Safety Properties

  9. No Access

    Book Chapter

    Pages 195-227

    Procedures and Contracts

  10. No Access

    Book Chapter

    Pages 229-239

    Specifying C Programs

  11. No Access

    Book Chapter

    Pages 241-256

    Verifying C Programs

  12. Back Matter

    Pages 257-263