symbolic model-checking
| techniques
| symbolic model checking | |
| progr. | символьная верификация моделей |
| technique | |
| gen. | техническое оснащение или оборудование; способ выполнения; техническое оснащение; владение специальными приёмами |
| med. | оборудование; аппаратура; процедура |
| tech. | алгоритм |
| |||
| символьная верификация моделей (ssn) | |||
|
symbolic model-checking : 6 phrases in 1 subject |
| Programming | 6 |