Anglais ⇄ Russe Ukrainien +

assertion checker contraintes
informat.	блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений
ordin.	программа верификации
progr.	программа подтверждения отсутствия ошибок (ssn)
robot.	блок проверки утверждений (в СИИ)
sécur.	условный верификатор