Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

  • Dimitra Giannakopoulou
  • Daniel Kroening

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8471)

Table of contents

  1. Front Matter
    Pages I-X
  2. Analysis: Understanding and Explanation

    1. Front Matter
      Pages 1-1
    2. Anindya Banerjee, David A. Naumann
      Pages 3-20
    3. Sumesh Divakaran, Deepak D’Souza, Nigamanth Sridhar
      Pages 21-36
    4. Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
      Pages 37-51
  3. Verification Frameworks and Applications

    1. Front Matter
      Pages 53-53
    2. Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing et al.
      Pages 55-71
    3. Madiha Jami, Andrew Ireland
      Pages 72-86
    4. Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia
      Pages 87-104
  4. Hypervisors and Dynamic Data Structures

    1. Front Matter
      Pages 115-115
    2. Geng Chen, Ernie Cohen, Mikhail Kovalev
      Pages 117-132
    3. David Sanán, Andrew Butterfield, Mike Hinchey
      Pages 133-149
    4. Robbert Krebbers
      Pages 150-166
  5. Certification

    1. Front Matter
      Pages 181-181
    2. Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
      Pages 183-199
    3. Alexis Fouilhe, Sylvain Boulmé
      Pages 200-215
    4. Julian Nagele, René Thiemann, Sarah Winkler
      Pages 216-232
  6. Real Time and Security

    1. Front Matter
      Pages 233-233

About these proceedings

Introduction

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Keywords

automatic code generation benchmarks collaboration dynamic analysis education formal calculi formalizing semantics higher-order logic hybrid system model checking programming language requirements modeling software design methods specification languages static analysis theorem proving

Editors and affiliations

  • Dimitra Giannakopoulou
    • 1
  • Daniel Kroening
    • 2
  1. 1.NASA Ames Research CenterMountain ViewUSA
  2. 2.University of OxfordOxfordUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-12154-3
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-12153-6
  • Online ISBN 978-3-319-12154-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book