This book constitutes the proceedings of the 14th International Conference on Veri?cation and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead.