英语 ⇄ 俄语 +

employ static and dynamic verification 强调
软件	выполнить статическую и динамическую верификацию (корпорации AdaCore Alex_Odeychuk)