Tools for Practical Software Verification

LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Editors:

ISBN: 978-3-642-35745-9 (Print) 978-3-642-35746-6 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages -

    Download PDF (84KB)

  2. No Access

    Book Chapter

    Pages 1-30

    Model Checking and the State Explosion Problem

    Look Inside Get Access

  3. No Access

    Book Chapter

    Pages 31-44

    From Program to Logic: An Introduction

    Look Inside Get Access

  4. No Access

    Book Chapter

    Pages 45-95

    Introduction to the Coq Proof-Assistant for Practical Software Verification

    Look Inside Get Access

  5. No Access

    Book Chapter

    Pages 96-132

    Advanced Theorem Proving Techniques in PVS and Applications

    Look Inside Get Access

  6. No Access

    Book Chapter

    Pages 133-155

    Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach

    Look Inside Get Access

  7. No Access

    Book Chapter

    Pages 156-181

    Using Dafny, an Automatic Program Verifier

    Look Inside Get Access

  8. Back Matter

    Pages -

    Download PDF (25KB)