Verified Software: Theories, Tools, and Experiments; 11th International Conference, Vstte 2019, New York City, Ny, USA, July 13-14, 2019, Revised Selected Papers

Chakraborty, Supratik (Editor)/ Navas, Jorge A. (Editor)

ISBN 10: 3030415996 / ISBN 13: 9783030415990

Published by Springer-Nature New York Inc, 2020

About this Item

revised edition. 212 pages. 9.25x6.10x0.71 inches. In Stock.

Seller Inventory # x-3030415996

Bibliographic Details

• Title: Verified Software: Theories, Tools, and Experiments; 11th International Conference, Vstte 2019, New York City, Ny, USA, July 13-14, 2019, Revised Selected Papers
• Publisher: Springer-Nature New York Inc
• Publication Date: 2020
• Language: English
• ISBN 10: 3030415996
• ISBN 13: 9783030415990
• Binding: Paperback
• Condition: Brand New
• Weight: 0.33 kilograms

About this title

Synopsis

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 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.