Terms containing model checking

Subject	English	Russian
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.	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.	CTL model checking algorithm	алгоритм верификации моделей для CTL (ssn)
progr.	CTL symbolic model checking algorithm	алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
progr.	LTL model checking algorithm	алгоритм верификации моделей для LTL (ssn)
progr.	LTL symbolic model checking algorithm	алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)
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)