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