| Subject | English | Russian |
| progr. | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| 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) |
| TV | CTL-HEAD | синхроголовка |
| media. | CTL head replacement | замена головки CTL (в видеомагнитофоне) |
| AI. | CTL model | темпоральная модель ветвящегося времени (сокр. от "computational tree logic model" Alex_Odeychuk) |
| 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) |
| forestr. | CTL technology | сортиментная технология (cut-to-length Drozdova) |
| avia. | FLAP SLAT CTL LEVER | рычаг управления предкрылками и закрылками (Flap and Slat Control Lever, блокируется во время ремонта двигателя Farrukh2012) |
| forestr. | Nordic CTL cut-to-length harvesting technology | Сортиментная технология лесозаготовок по скандинавскому типу (Drozdova) |
| insur. | TL/CTL | полная гибель / конструктивная полная гибель (морское страхование Vladimir Petrakov) |
| avia. | Xpdr ctl | управление транспондером (MichaelBurov) |
