 |
Terms containing CTL symbolic model checking | all forms | exact matches only | in specified order only
| Subject | English | Russian |
| progr. | CTL symbolic model checking | символьная верификация моделей для CTL (Computation Tree Logic ssn) |
| progr. | CTL symbolic model checking algorithm | алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn) |