Skip to main content
SpringerLink
Log in
Book cover

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Arie Gurfinkel

    1. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sanjit A. Seshia

    1. Department of Electrical Engineering and Computer Science, University of California, Berkeley, USA

    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 9593)

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

Included in the following conference series:

Conference proceedings info: VSTTE 2015.

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 (12 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. A Proof-Sensitive Approach for Small Propositional Interpolants

    • Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
    Pages 1-18

  3. Recursive Games for Compositional Program Synthesis

    • Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
    Pages 19-39

  4. Testing the IPC Protocol for a Real-Time Operating System

    • Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
    Pages 40-60

  5. Pseudo-Random Number Generator Verification: A Case Study

    • Felix Dörre, Vladimir Klebanov
    Pages 61-72

  6. Inside a Verified Flash File System: Transactions and Garbage Collection

    • Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
    Pages 73-93

  7. How to Avoid Proving the Absence of Integer Overflows

    • Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich
    Pages 94-109

  8. Machine-Checked Proofs for Realizability Checking Algorithms

    • Andreas Katis, Andrew Gacek, Michael W. Whalen
    Pages 110-123

  9. Dynamic Frames Based Verification Method for Concurrent Java Programs

    • Wojciech Mostowski
    Pages 124-141

  10. A Simpler Reduction Theorem for x86-TSO

    • Jonas Oberhauser
    Pages 142-164

  11. Moving Around: Lipton’s Reduction for TSO

    • Ali Sezgin, Serdar Tasiran
    Pages 165-182

  12. Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

    • Eric Smith, Alessandro Coglio
    Pages 183-201

  13. AUSPICE: Automatic Safety Property Verification for Unmodified Executables

    • Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
    Pages 202-222

  14. Back Matter

    Pages 223-223
    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 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.

The 12 revised full papers presented were carefully revised and selected from 25 submissions.

The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.      

Editors and Affiliations

  • Software Engineering Institute, Carnegie Mellon University, Pittsburgh, USA

    Arie Gurfinkel

  • Department of Electrical Engineering and Computer Science, University of California, Berkeley, USA

    Sanjit A. Seshia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation