DictionaryForumContacts

   English
Terms for subject Programming containing checking algorithm | all forms | in specified order only
EnglishRussian
algorithm for type checkingалгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn)
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)
algorithms for LTL model checkingалгоритмы верификации моделей для формул LTL (ssn)
CTL model checking algorithmалгоритм верификации моделей для CTL (ssn)
CTL symbolic model checking algorithmалгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
LTL model checking algorithmалгоритм верификации моделей для LTL (ssn)
LTL symbolic model checking algorithmалгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)