英语 ⇄ 俄语 +

compile-time verification 强调
软件	формальная верификация во время компиляции (Alex_Odeychuk)