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. Real Time and Security

    1. Parameterized Model-Checking of Timed Systems with Conjunctive Guards

      • Luca Spalazzi, Francesco Spegni
      Pages 235-251

    2. Timed Refinement for Verification of Real-Time Object Code Programs

      • Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara
      Pages 252-269

    3. What Gives? A Hybrid Algorithm for Error Trace Explanation

      • Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
      Pages 270-286

  2. Back Matter

    Pages 287-287
    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