英语 ⇄ 俄语 +

program verification information systems 强调
航天	информационные системы верификации программ