Inglés ⇄ Ruso Ucraniano +

assertion checker acentos
comp.	программа верификации
data.prot.	условный верификатор
IT	блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений
progr.	программа подтверждения отсутствия ошибок (ssn)
robót.	блок проверки утверждений (в СИИ)