Terms for subject Programming containing алгоритм верификации

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