Overview
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.
- | Author: Ruzica Piskac
- | Publisher: Springer
- | Publication Date: Nov 24, 2018
- | Number of Pages: 345 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3030035913
- | ISBN-13: 9783030035914
