Russian ⇄ English

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