Terms containing model checking

Subject	English	Russian
progr.	algorithms for CTL model checking	алгоритмы верификации моделей для формул CTL (ssn)
progr.	algorithms for CTL model checking, LTL model checking	алгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
progr.	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)
progr.	algorithms for LTL model checking	алгоритмы верификации моделей для формул LTL (ssn)
progr.	Certainly, most of the research on continuous-time model checking is based on this model	Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	continuous-time model checking	верификация с непрерывным временем (моделей ssn)
progr.	CTL model checking algorithm	алгоритм верификации моделей для CTL (ssn)
progr.	CTL symbolic model checking	символьная верификация моделей для CTL (Computation Tree Logic ssn)
progr.	CTL symbolic model checking algorithm	алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
progr.	LTL model checking algorithm	алгоритм верификации моделей для LTL (ssn)
progr.	LTL symbolic model checking	символьная верификация моделей для LTL (Linear Temporal Logic ssn)
progr.	LTL symbolic model checking algorithm	алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)
progr.	model checking	проверка моделей (ssn)
progr.	model checking	верификация моделей (ssn)
softw.	model checking	проверка модели (Alex_Odeychuk)
softw.	model checking	метод проверки моделей (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
softw.	model checking	методы формальной верификации (Alex_Odeychuk)
softw.	model checking	модельная проверка (Formal specification languages are designed to describe system behavior at an abstract level—capturing states and transitions—while enabling the automatic analysis of all possible execution paths. Unlike traditional testing, which always carries the risk of untested scenarios, model checking examines the complete finite-state graph of the model. In this context, deadlock (a situation in which no process can proceed) and livelock (an infinite cycle of transitions without meaningful progress relative to the specified counters or properties) are defined as specific target properties to be verified. — Формальные языки спецификаций призваны описывать поведение системы на абстрактном уровне, фиксируя состояние и переходы, и при этом дают возможность автоматического анализа всех возможных траекторий выполнения. В отличие от традиционных тестов, при которых всегда остаётся риск непротестированных сценариев, модельная проверка исследует полный конечный граф состояний модели. При этом взаимоблокировка (ситуация, при которой ни один процесс не может продолжить работу) и динамическая взаимоблокировка (ситуация бесконечного цикла переходов без полезного прогресса по отношению к выделенным счетчикам или свойствам) определяются как специальные целевые свойства, подлежащие проверке. Alex_Odeychuk)
softw.	model checking	формальные методы (Alex_Odeychuk)
softw.	model checking	тестирование и формальная верификация (testing and verification is also known as model checking Alex_Odeychuk)
progr.	model checking	верификация программ на моделях (формальный метод верификации программного обеспечения Alex_Odeychuk)
progr.	model checking	проверка на модели (Alex_Odeychuk)
progr.	model checking	верификация модели (ssn)
ed.	model checking	формальные методы обеспечения качества программных систем (Alex_Odeychuk)
progr.	model checking method	метод проверки моделей (ssn)
progr.	model checking problem	проблема верификации моделей (ssn)
progr.	model checking problem	задача верификации моделей (ssn)
progr.	model checking technique	метод проверки моделей (ssn)
progr.	model checking technique	метод верификации моделей (ssn)
progr.	model checking using automata	верификация моделей при помощи автоматов (ssn)
progr.	most of the research on continuous-time model checking	большая часть исследований по верификации с непрерывным временем (ssn)
progr.	software model checking	проверка модели программного обеспечения (Microsoft Alex_Odeychuk)
progr.	subclass of formal verification called model checking	подвид формальной верификации, называемый верификация модели (ssn)
progr.	symbolic model checking	символьная верификация моделей (ssn)
progr.	symbolic model-checking techniques	символьные методы верификации моделей (ssn)