| English | Russian |
| algorithms for CTL model checking | алгоритмы верификации моделей для формул CTL (ssn) |
| algorithms for CTL model checking, LTL model checking | алгоритмы верификации моделей для формул CTL и для формул LTL (ssn) |
| algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
| algorithms for LTL model checking | алгоритмы верификации моделей для формул LTL (ssn) |
| 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) |
| continuous-time model checking | верификация с непрерывным временем (моделей ssn) |
| CTL model checking algorithm | алгоритм верификации моделей для CTL (ssn) |
| CTL symbolic model checking | символьная верификация моделей для CTL (Computation Tree Logic ssn) |
| CTL symbolic model checking algorithm | алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn) |
| LTL model checking algorithm | алгоритм верификации моделей для LTL (ssn) |
| LTL symbolic model checking | символьная верификация моделей для LTL (Linear Temporal Logic ssn) |
| LTL symbolic model checking algorithm | алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn) |
| model checking | верификация программ на моделях (формальный метод верификации программного обеспечения Alex_Odeychuk) |
| model checking | проверка моделей (ssn) |
| model checking | проверка на модели (Alex_Odeychuk) |
| model checking | верификация моделей (ssn) |
| model checking | верификация модели (ssn) |
| model checking method | метод проверки моделей (ssn) |
| model checking problem | проблема верификации моделей (ssn) |
| model checking problem | задача верификации моделей (ssn) |
| model checking technique | метод проверки моделей (ssn) |
| model checking technique | метод верификации моделей (ssn) |
| model checking using automata | верификация моделей при помощи автоматов (ssn) |
| most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
| software model checking | проверка модели программного обеспечения (Microsoft Alex_Odeychuk) |
| subclass of formal verification called model checking | подвид формальной верификации, называемый верификация модели (ssn) |
| symbolic model checking | символьная верификация моделей (ssn) |
| symbolic model-checking techniques | символьные методы верификации моделей (ssn) |
