Верификация программного обеспечения (ПО) является одним из вспомогательных процессов жизненного цикла ПО, относящихся к обеспечению качества. Верификация понимается в широком смысле слова. Так как кроме полной корректности, программное обеспечение обладает и другими характеристиками, представляющими интерес потребителя данного ПО, такими как отсутствие ошибок во время выполнения, целостность данных, временные характеристики, точность, корректность типов, завершенность, функциональная надежность, безопасность, сопровождаемость, понятность, модифицируемость и другие.