Английский ⇄ Русский +

model checking technique ударения
прогр.	метод верификации моделей (ssn); метод проверки моделей (ssn)