Angielski ⇄ Rosyjski Ukraiński +

assertion checker akcenty
data.prot.	условный верификатор
komp.	программа верификации
progr.	программа подтверждения отсутствия ошибок (ssn)
robot.	блок проверки утверждений (в СИИ)
technol.	блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений