英语 ⇄ 俄语 +

verifying distributed systems 强调
编程	верификация распределённых систем (ssn); проверка распределённых систем (ssn)