Англійська ⇄ Російська +

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