Skip to main content
SpringerLink
Log in
Book cover

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Sandrine Blazy

    1. IRISA, University of Rennes 1, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marsha Chechik

    1. Department of Computer Science, University of Toronto, Toronto, Canada

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

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

Included in the following conference series:

Conference proceedings info: VSTTE 2016.

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

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Stupid Tool Tricks for Smart Model Based Design

    • Mark Lawford
    Pages 1-7

  3. Specification: The Biggest Bottleneck in Formal Methods and Autonomy

    • Kristin Yvonne Rozier
    Pages 8-26

  4. Order Reduction for Multi-core Interruptible Operating Systems

    • Jonas Oberhauser
    Pages 27-45

  5. Producing All Ideals of a Forest, Formally (Verification Pearl)

    • Jean-Christophe Filliâtre, Mário Pereira
    Pages 46-55

  6. Constructing Semantic Models of Programs with the Software Analysis Workbench

    • Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
    Pages 56-72

  7. Bidirectional Grammars for Machine-Code Decoding and Encoding

    • Gang Tan, Greg Morrisett
    Pages 73-89

  8. Automated Verification of Functional Correctness of Race-Free GPU Programs

    • Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
    Pages 90-106

  9. The Matrix Reproved (Verification Pearl)

    • Martin Clochard, Léon Gondelman, Mário Pereira
    Pages 107-118

  10. Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue

    • Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
    Pages 119-128

  11. Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs

    • Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
    Pages 129-138

  12. JavaSMT: A Unified Interface for SMT Solvers in Java

    • Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
    Pages 139-148

  13. Relational Program Reasoning Using Compiler IR

    • Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
    Pages 149-165

  14. Resolution in Solving Graph Problems

    • Kailiang Ji
    Pages 166-180

  15. SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms

    • Dirk Beyer, Matthias Dangl
    Pages 181-198

  16. Back Matter

    Pages 199-199
    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 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. 
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the
state of the art through the interaction of theory development, tool evolution, and experimental validation.

Editors and Affiliations

  • IRISA, University of Rennes 1, Rennes, France

    Sandrine Blazy

  • Department of Computer Science, University of Toronto, Toronto, Canada

    Marsha Chechik

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation