英语 ⇄ 俄语 +

verification condition generation 强调
信息技术	генерирование условий верификации (при доказательстве правильности программ)