英语 ⇄ 俄语 +

perform formal proof and verification on code 强调
编程	выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk)