Skip to main content
SpringerLink
Log in

Verified Software: Theories, Tools and Experiments

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Dimitra Giannakopoulou

    1. NASA Ames Research Center, Mountain View, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniel Kroening

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: VSTTE 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Analysis: Understanding and Explanation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Logical Analysis of Framing for Specifications with Pure Method Calls

      • Anindya Banerjee, David A. Naumann
      Pages 3-20

    3. Efficient Refinement Checking in VCC

      • Sumesh Divakaran, Deepak D’Souza, Nigamanth Sridhar
      Pages 21-36

    4. Formalizing Semantics with an Automatic Program Verifier

      • Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
      Pages 37-51

  3. Verification Frameworks and Applications

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. The KeY Platform for Verification and Analysis of Java Programs

      • Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing et al.
      Pages 55-71

    3. A Verification Condition Visualizer

      • Madiha Jami, Andrew Ireland
      Pages 72-86

    4. Formal Modeling and Verification of CloudProxy

      • Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia
      Pages 87-104

    5. Using Promela in a Fully Verified Executable LTL Model Checker

      • René Neumann
      Pages 105-114

  4. Hypervisors and Dynamic Data Structures

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Store Buffer Reduction with MMUs

      • Geng Chen, Ernie Cohen, Mikhail Kovalev
      Pages 117-132

    3. Separation Kernel Verification: The Xtratum Case Study

      • David Sanán, Andrew Butterfield, Mike Hinchey
      Pages 133-149

    4. Separation Algebras for C Verification in Coq

      • Robbert Krebbers
      Pages 150-166

    5. Automatically Verified Implementation of Data Structures Based on AVL Trees

      • Martin Clochard
      Pages 167-180

  5. Certification

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. A Model for Capturing and Replaying Proof Strategies

      • Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
      Pages 183-199

    3. A Certifying Frontend for (Sub)polyhedral Abstract Domains

      • Alexis Fouilhe, Sylvain Boulmé
      Pages 200-215

    4. Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations

      • Julian Nagele, René Thiemann, Sarah Winkler
      Pages 216-232

  6. Real Time and Security

    1. Front Matter

      Pages 233-233
      Download chapter PDF
Back to top

Other volumes

  1. Verified Software: Theories, Tools and Experiments

Keywords

About this book

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.

Editors and Affiliations

  • NASA Ames Research Center, Mountain View, USA

    Dimitra Giannakopoulou

  • University of Oxford, Oxford, United Kingdom

    Daniel Kroening

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation