algorithms for CTL model checking, LTL model checking

Terms containing algorithms for CTL model checking, LTL model checking | all forms | exact matches only | in specified order only

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