Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.
Material type:
TextSeries: Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018Description: XVI, 345 p. 83 illus., 10 illus. in color. online resourceContent type: - text
- computer
- online resource
- 9783030035921
- Software Engineering
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- System Performance and Evaluation
- Special Purpose and Application-Based Systems
- The Computing Profession
- Software engineering
- Computer science
- Compilers (Computer programs)
- Electronic digital computers -- Evaluation
- Computers, Special purpose
- Computers
- Professions
- 005.1 23
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.
Licensed e-book