| English | Russian |
| CTL symbolic model checking | символьная верификация моделей для CTL (Computation Tree Logic ssn) |
| CTL symbolic model checking algorithm | алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn) |
| LTL symbolic model checking | символьная верификация моделей для LTL (Linear Temporal Logic ssn) |
| LTL symbolic model checking algorithm | алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn) |
| symbolic model | символьная модель (ssn) |
| symbolic model checker | средство символьной верификации моделей (Alex_Odeychuk) |
| symbolic model checking | символьная верификация моделей (ssn) |
| symbolic model-checking techniques | символьные методы верификации моделей (ssn) |
| symbolic model verifier | символьный верификатор моделей (сокр. SMV ssn) |
| symbolic-form model | математическая модель (ssn) |
| symbolic-form model | символическая модель (напр., процесса мышления ssn) |