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)

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


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.


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
  • 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