Skip to main content
  • Conference proceedings
  • © 2010

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

  • Fast track conference proceeding

  • Unique visibility

  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6217)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): VSTTE: Working Conference on Verified Software: Theories, Tools, and Experiments

Conference proceedings info: VSTTE 2010.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (14 papers)

  1. Front Matter

  2. Invited Talk

    1. Towards Scalable Modular Checking of User-Defined Properties

      • Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
      Pages 1-24
  3. Verification Techniques

    1. Tressa: Claiming the Future

      • Ali Sezgin, Serdar Tasiran, Shaz Qadeer
      Pages 25-39
    2. Automated Verification of a Small Hypervisor

      • Eyad Alkassar, Mark A. Hillebrand, Wolfgang Paul, Elena Petrova
      Pages 40-54
  4. Verification of Low-Level Code

    1. Pervasive Verification of an OS Microkernel

      • Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
      Pages 71-85
  5. Invited Talk

    1. The L4.verified Project — Next Steps

      • Gerwin Klein
      Pages 86-96
  6. Requirements and Specifications

    1. An Approach of Requirements Tracing in Formal Refinement

      • Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo Jr
      Pages 97-111
    2. Dafny Meets the Verification Benchmarks Challenge

      • K. Rustan M. Leino, Rosemary Monahan
      Pages 112-126
    3. Specifying Reusable Components

      • Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
      Pages 127-141
  7. Verification Techniques

    1. Reusable Verification of a Copying Collector

      • Magnus O. Myreen
      Pages 142-156
    2. To Goto Where No Statement Has Gone Before

      • Mike Barnett, K. Rustan M. Leino
      Pages 157-168
  8. Invited Talk

    1. The Next 700 Separation Logics

      • Matthew Parkinson
      Pages 169-182
  9. Locality in Reasoning

    1. Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

      • Stan Rosenberg, Anindya Banerjee, David A. Naumann
      Pages 183-198
    2. Abstraction and Refinement for Local Reasoning

      • Thomas Dinsdale-Young, Philippa Gardner, Mark Wheelhouse
      Pages 199-215
  10. Back Matter

Other Volumes

  1. Verified Software: Theories, Tools, Experiments

Keywords

  • Action
  • automated verification
  • evolution
  • kernel verification
  • logic
  • model checker
  • modeling
  • pervas
  • pervasive verificytion
  • verification

Editors and Affiliations

  • School of Electrical Engineering and Computer Science, 439C Harris Center, University of Central Florida, Orlando, USA

    Gary T. Leavens

  • School of Electronic Engineering and Computer Science, Queen Mary University, London, UK

    Peter O’Hearn

  • Microsoft Research India, "Scientia", Bangalore, India

    Sriram K. Rajamani

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions