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