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