英语 ⇄ 俄语 +

mathematically proven code correctness 强调
软件	математически доказанная корректность кода (embedded.com Alex_Odeychuk)