Verified Software: Theories, Tools, Experiments

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

  • Gary T. Leavens
  • Peter O’Hearn
  • Sriram K. Rajamani

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

Table of contents

  1. Front Matter
  2. Invited Talk

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

    1. Ali Sezgin, Serdar Tasiran, Shaz Qadeer
      Pages 25-39
    2. Eyad Alkassar, Mark A. Hillebrand, Wolfgang Paul, Elena Petrova
      Pages 40-54
  4. Verification of Low-Level Code

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

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

    1. Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo Jr
      Pages 97-111
    2. K. Rustan M. Leino, Rosemary Monahan
      Pages 112-126
    3. Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
      Pages 127-141
  7. Verification Techniques

    1. Magnus O. Myreen
      Pages 142-156
    2. Mike Barnett, K. Rustan M. Leino
      Pages 157-168
  8. Invited Talk

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

    1. Stan Rosenberg, Anindya Banerjee, David A. Naumann
      Pages 183-198
    2. Thomas Dinsdale-Young, Philippa Gardner, Mark Wheelhouse
      Pages 199-215
  10. Back Matter

About these proceedings

Keywords

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

Editors and affiliations

  • Gary T. Leavens
    • 1
  • Peter O’Hearn
    • 2
  • Sriram K. Rajamani
    • 3
  1. 1.School of Electrical Engineering and Computer Science, 439C Harris CenterUniversity of Central FloridaOrlandoUSA
  2. 2.School of Electronic Engineering and Computer ScienceQueen Mary UniversityLondonUK
  3. 3.Microsoft Research India, "Scientia"BangaloreIndia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15057-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15056-2
  • Online ISBN 978-3-642-15057-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book