英语 ⇄ 俄语 +

verified compiler 强调
软件	верифицированный компилятор (исключает сбой компилятора как системный риск Alex_Odeychuk)