Английский ⇄ Русский Украинский +

assertion checker ударения
защ.дан.	условный верификатор
ИТ.	блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений
комп.	программа верификации
прогр.	программа подтверждения отсутствия ошибок (ssn)
рбт.	блок проверки утверждений (в СИИ)