Program Verification

Fundamental Issues in Computer Science

Editors:

ISBN: 978-94-010-4789-0 (Print) 978-94-011-1793-7 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xiii

  2. Prologue

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-31

      Computer Science and Philosophy

  3. The Mathematical Paradigm

    1. Front Matter

      Pages 33-33

    2. No Access

      Book Chapter

      Pages 35-56

      Towards a Mathematical Science of Computation

    3. No Access

      Book Chapter

      Pages 57-64

      Proof of Algorithms by General Snapshots

    4. No Access

      Book Chapter

      Pages 65-81

      Assigning Meanings to Programs

    5. No Access

      Book Chapter

      Pages 83-96

      An Axiomatic Basis for Computer Programming

  4. Elaborating the Paradigm

    1. Front Matter

      Pages 97-97

    2. No Access

      Book Chapter

      Pages 99-133

      First Steps Towards Inferential Programming

    3. No Access

      Book Chapter

      Pages 135-154

      Mathematics of Programming

    4. No Access

      Book Chapter

      Pages 155-189

      On Formalism in Specifications

    5. No Access

      Book Chapter

      Pages 191-210

      Formalization in Program Development

  5. Challenges, Limits, and Alternatives

    1. Front Matter

      Pages 211-211

    2. No Access

      Book Chapter

      Pages 213-238

      Formalism and Prototyping in the Software Process

    3. No Access

      Book Chapter

      Pages 239-259

      Outline of a Paradigm Change in Software Engineering

    4. No Access

      Book Chapter

      Pages 261-274

      The Place of Strictly Defined Notation in Human Insight

    5. No Access

      Book Chapter

      Pages 275-293

      Limits of Correctness in Computers

  6. Focus on Formal Verification

    1. Front Matter

      Pages 295-295

    2. No Access

      Book Chapter

      Pages 297-319

      Social Processes and Proofs of Theorems and Programs

    3. No Access

      Book Chapter

      Pages 321-358

      Program Verification: The Very Idea

    4. No Access

      Book Chapter

      Pages 359-374

      The Notion of Proof in Hardware Verification

    5. No Access

      Book Chapter

      Pages 375-399

      Program Verification, Defeasible Reasoning, and Two Views of Computer Science

  7. Epilogue

    1. Front Matter

      Pages 401-401

    2. No Access

      Book Chapter

      Pages 403-427

      Philosophical Aspects of Program Verification

  8. Back Matter

    Pages 429-458