英语 ⇄ 俄语 +

high-level verification language 强调
军队, 航空	высокоуровневый алгоритмический язык для реализации функций проверки