英语 ⇄ 俄语 +

statically verify 强调
编程	выполнить статический анализ кода (Alex_Odeychuk); выполнить статическую верификацию (свойств режима выполнения кода; корпорации AdaCore Alex_Odeychuk)