אנגלית ⇄ אוקראינית רוסית +

assertion checker מתח
.אבטחת	условный верификатор
.טכנול	блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений
.רובוט	блок проверки утверждений (в СИИ)
.תִכנו	программа подтверждения отсутствия ошибок (ssn)
מחש.	программа верификации