Англійська ⇄ Російська Українська +

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