Terms for subject Programming containing ltl

English	Russian
algorithm for translating LTL into automata	алгоритм трансляции LTL в автоматы (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)
algorithms for LTL model checking	алгоритмы верификации моделей для формул LTL (ssn)
LTL model checking algorithm	алгоритм верификации моделей для LTL (ssn)
LTL symbolic model checking	символьная верификация моделей для LTL (Linear Temporal Logic ssn)
LTL symbolic model checking algorithm	алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)
translating LTL into automata	трансляция LTL в автоматы (ssn)