| Subject | English | Russian |
| 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) |