英语 ⇄ 俄语 +

verifying the program 强调
自动化设备	верификация программы; подтверждение корректности программы