© 2017

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

  • Andrei Paskevich
  • Thomas Wies
Conference proceedings VSTTE 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Nicolas Jeannerod, Claude Marché, Ralf Treinen
    Pages 1-18
  3. Aaron Dutle, Mariano Moscato, Laura Titolo, César Muñoz
    Pages 19-34
  4. Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
    Pages 35-48
  5. Ran Chen, Jean-Jacques Lévy
    Pages 49-65
  6. Marc Schoolderman
    Pages 66-83
  7. Raphaël Rieu-Helft, Claude Marché, Guillaume Melquiond
    Pages 84-101
  8. Clément Fumex, Claude Marché, Yannick Moy
    Pages 102-119
  9. Saeed Nejati, Jia Hui Liang, Catherine Gebotys, Krzysztof Czarnecki, Vijay Ganesh
    Pages 120-131
  10. Alexander Kogtenkov
    Pages 132-151
  11. Kim Larsen, Doron Peled, Sean Sedwards
    Pages 152-169
  12. Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
    Pages 191-209
  13. Back Matter
    Pages 211-211

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.


artificial intelligence computer software selection and evaluation formal logic graph theory model checking program compilers programming language semantics software engineering specifications static analysis theorem proving verification automated reasoning separation logic functional correctness

Editors and affiliations

  • Andrei Paskevich
    • 1
  • Thomas Wies
    • 2
  1. 1.Paris-Sud UniversityOrsayFrance
  2. 2.New York UniversityNew YorkUSA

Bibliographic information