英语 ⇄ 俄语 +

subclass of formal verification called model checking 强调
编程	подвид формальной верификации, называемый верификация модели (ssn)