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

Paskevich, Andrei (Editor)/ Wies, Thomas (Editor)

ISBN 10: 3319723073 / ISBN 13: 9783319723075

Published by Springer-Verlag New York Inc, 2018

About this Item

revised edition. 228 pages. 9.25x6.10x0.55 inches. In Stock.

Seller Inventory # x-3319723073

Bibliographic Details

• Title: Verified Software: Theories, Tools, and Experiments; 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2018
• Language: English
• ISBN 10: 3319723073
• ISBN 13: 9783319723075
• Binding: Paperback
• Condition: Brand New
• Weight: 0.34 kilograms

About this title

Synopsis

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.