英语 ⇄ 俄语 +

verification of finite-state systems 强调
编程	верификация систем с конечным числом состояний (ssn)