英语 ⇄ 俄语 +

model checking using automata 强调
编程	верификация моделей при помощи автоматов (ssn)