Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

by Andrei Paskevich, Thomas Wies

Overview

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.

Product Details

ISBN-13:	9783319723075
Publisher:	Springer International Publishing
Publication date:	01/20/2018
Series:	Lecture Notes in Computer Science , #10712
Edition description:	1st ed. 2017
Pages:	211
Product dimensions:	6.10(w) x 9.25(h) x (d)