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