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

метод проверки моделей ударения
ПО.	model checking (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
прогр.	model checking technique (ssn); model checking method (ssn)