£44.99

Verified Software. Theories, Tools, and Experiments

Name: Verified Software. Theories, Tools, and Experiments
Price: 44.99 GBP
Availability: InStock
ISBN: 9783030035921

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

Information technology: general topics Compilers and interpreters Software Engineering Mathematical theory of computation Systems analysis and design Expert systems / knowledge-based systems

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 23rd November 2018

Format: LCP-protected ePub

Size: 16 Mb

ISBN: 9783030035921

Conference 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.

Accepted Papers

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.

Show more Show less