(англ. verification) - 1. Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие. 2. Сопоставление действия, процесса или продукта с относящимися к ним требованиями или спецификациями. Например, сопоставление спецификации с моделью политики безопасности или сравнение объектного кода с исходным кодом.