algorithms for CTL model checking, LTL model checking | |
progr. | алгоритмы верификации моделей для формул CTL и для формул LTL |
and | |
gen. | и; а |
testing inclusion | |
progr. | проверка включения |
between | |
el. | промежуточное состояние |
timed | |
gen. | синхронный |
omega | |
gen. | w-мезон |
Au | |
tech. | золото |
| |||
алгоритмы верификации моделей для формул CTL и для формул LTL (ssn) |
algorithms for CTL model checking, LTL model checking , and testing inclusion between timed omega: 1 phrase in 1 subject |
Programming | 1 |