Верификация в разработке ПО — это процесс проверки, что продукт соответствует заданным требованиям и спецификациям. Она отвечает на вопрос: «Правильно ли мы строим продукт?» — то есть проверяет корректность реализации на уровне дизайна, кода и документации.

Примеры верификации:

Ревью кода
Статический анализ
Юнит-тестирование
Инспекции и walkthrough'ы

Верификация отличается от валидации, которая проверяет, соответствует ли продукт ожиданиям и нуждам пользователя ("Правильный ли продукт?").

Можете объяснить, что подразумевается под процессом верификации в разработке программного обеспечения?