Этот том содержит доклады, представленные на VSTTE 2022, 14-й Рабочей конференции по проверенным софтом: теория, инструменты и экспериментов, проводимых на октябрь 17-18, в 2022 году в Тренто, Италия. Рабочая конференция была проведена совместно с 22-й Международная конференция по формальным методам в автоматизированном проектировании (FMCAD 2022).Инициатива Verified Software Initiative (VSI), возглавляемая Тони Хором и Джаядевом Misra - это амбициозная исследовательская программа, направленная на то, чтобы превратить крупномасштабное проверенное программное обеспечение в практическую реальность.