Terms for subject Programming containing algorithms for CTL model checking

English	Russian
algorithms for CTL model checking	алгоритмы верификации моделей для формул CTL (ssn)
algorithms for CTL model checking, LTL model checking	алгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)