 |
алгоритмы верификации моделей для формул CTL и для формул
| а также
| проверки включения временных омега-автоматов
| алгоритмы верификации моделей для формул CTL и для формул LTL | |
| progr. | algorithms for CTL model checking, LTL model checking |
| а также | |
| gen. | as well as; and what is more; plus; as also; along with |
| busin. | coupled with; on a separate note |
| context. | and |
| law | and be it further |
| проверка включения временных омега-автоматов | |
| progr. | testing inclusion between timed omega automata |
| |||
| algorithms for CTL model checking, LTL model checking (ssn) | |||
| алгоритмы верификации моделей для формул CTL и для формул: 2 phrases in 1 subject |
| Programming | 2 |