Verified Software. Theories, Tools, and Experiments

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

  • Sandrine Blazy
  • Marsha Chechik
Conference proceedings VSTTE 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9971)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Jean-Christophe Filliâtre, Mário Pereira
    Pages 46-55
  3. Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
    Pages 56-72
  4. Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
    Pages 90-106
  5. Martin Clochard, Léon Gondelman, Mário Pereira
    Pages 107-118
  6. Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
    Pages 119-128
  7. Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
    Pages 129-138
  8. Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
    Pages 139-148
  9. Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
    Pages 149-165
  10. Kailiang Ji
    Pages 166-180
  11. Back Matter
    Pages 199-199

About these proceedings


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.


model-checking proof-search algorithm software verification theorem-proving verification

Editors and affiliations

  • Sandrine Blazy
    • 1
  • Marsha Chechik
    • 2
  1. 1.IRISAUniversity of Rennes 1RennesFrance
  2. 2.Department of Computer ScienceUniversity of TorontoTorontoCanada

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment