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