Terms for subject Programming containing проверка моделей

Russian	English
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn)
метод проверки моделей	model checking method (ssn)
метод проверки моделей	model checking technique (ssn)
модель для проверки приложений, управляемых через меню	model for testing menu-driven applications (ssn)
превосходная модель для проверки приложений, управляемых через меню	excellent model for testing menu-driven applications (ssn)
проверка достоверности модели рабочей нагрузки	validating the workload model (ssn)
проверка моделей	model checking (ssn)
проверка модели программного обеспечения	software model checking (Microsoft Alex_Odeychuk)
проверка на модели	model checking (Alex_Odeychuk)