Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

  • Ruzica Piskac
  • Philipp Rümmer
Conference proceedings VSTTE 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Jochen Hoenicke, Alexander Nutz, Andreas Podelski
    Pages 1-16
  3. Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz
    Pages 17-37
  4. Pritom Rajkhowa, Fangzhen Lin
    Pages 38-49
  5. Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
    Pages 50-68
  6. Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish
    Pages 69-87
  7. Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho
    Pages 88-111
  8. Brandon Bohrer, Karl Crary
    Pages 112-134
  9. Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert
    Pages 135-154
  10. Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
    Pages 155-176
  11. Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCarthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran
    Pages 215-228
  12. Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
    Pages 248-266
  13. Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
    Pages 279-290
  14. Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
    Pages 291-308
  15. Naoki Nishida, Sarah Winkler
    Pages 309-321
  16. Back Matter
    Pages 345-345

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.

The 19 full papers presented were carefully revised and selected from 24 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 embedded systems first order logic formal logic formal methods hardware java logic programming model checking parallel processing systems program compilers program verification programming language programming languages semantics software engineering software evaluation specifications theorem proving verification

Editors and affiliations

  1. 1.Yale UniversityNew HavenUSA
  2. 2.Uppsala UniversityUppsalaSweden

Bibliographic information

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