英语 ⇄ 俄语 +

model checking problem 强调
编程	задача верификации моделей (ssn); проблема верификации моделей (ssn)