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.
