Terms containing checking algorithm

Subject	English	Russian
progr.	algorithm for type checking	алгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn)
progr.	algorithms for CTL model checking	алгоритмы верификации моделей для формул CTL (ssn)
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)
progr.	algorithms for LTL model checking	алгоритмы верификации моделей для формул LTL (ssn)
media.	certificate-checking algorithm	алгоритм проверки удостоверения (для доказательства принадлежности задачи распознавания классу NP)
mech.	checking algorithm	алгоритм контроля
robot.	checking algorithm	алгоритм проверки
progr.	CTL model checking algorithm	алгоритм верификации моделей для CTL (ssn)
progr.	CTL symbolic model checking algorithm	алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
avia.	error checking algorithm	алгоритм контроля ошибок
mech.	interference checking algorithm	алгоритм контроля на столкновения (LyuFi)
progr.	LTL model checking algorithm	алгоритм верификации моделей для LTL (ssn)
progr.	LTL symbolic model checking algorithm	алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)