Englisch ⇄ Russisch Ukrainisch +

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