CTL symbolic model checking
| algorithm
| CTL symbolic model checking | |
| progr. | символьная верификация моделей для CTL |
| Algorithm | |
| comp., net. | Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе |
| inet. | алгоритм Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе |
| algorithm | |
| gen. | алгоритм |
| astronaut. | быстросходящийся алгоритм |
| avia., med. | алгоритм |
| cartogr. | десятичная система счисления |
| math. | алгоритм перевода; алгоритм трассировки; алгорифм |
| med. | предписание |
| |||
| символьная верификация моделей для CTL (Computation Tree Logic ssn) | |||
|
CTL symbolic model checking : 2 phrases in 1 subject |
| Programming | 2 |