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