| Subject | Russian | English |
| gen. | аудит корректности | audit for correctness (Ремедиос_П) |
| proj.manag. | аудит, обеспечение корректности информации, самоконтроль | Audit, Assurance, Self Verification (ixtra) |
| adv. | бесспорная корректность | unquestionable accuracy (Alex_Odeychuk) |
| progr. | в режиме полной корректности | in full-soundness mode (корпорации AdaCore Alex_Odeychuk) |
| progr. | верификация функциональной корректности | functional correctness verification (ssn) |
| econ. | вопросы корректности данных | data issues (A.Rezvov) |
| rhetor. | временно согласиться с корректностью данных утверждений | temporarily assume the claims are correct (Alex_Odeychuk) |
| progr. | временное соотношение между фронтом синхроимпульса SCK и сигналами данных SDO и SDI для определения момента передачи данных и их корректности на принимающей стороне | timing relationships between the SCK clock edge and the SDO and SDI data signals to determine when to transmit data and when data is valid at the receiver (ssn) |
| progr. | Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований | Internal type checker validates code after transformations (ssn) |
| progr. | выполнять формальное доказательство корректности и верификацию кода | perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk) |
| progr. | гарантия корректности одновременных вызовов | correctness guarantee on concurrent calls (Alex_Odeychuk) |
| progr. | доказательства корректности | correctness arguments (ssn) |
| comp. | доказательства корректности "на пальцах" | handwaving correctness arguments (ssn) |
| softw. | доказательства полной корректности ПО | full correctness proofs (корпорации AdaCore Alex_Odeychuk) |
| progr. | доказательство корректности | correctness argument (ssn) |
| progr. | доказать функциональную корректность программного обеспечения | demonstrate functional correctness (Washington Post Alex_Odeychuk) |
| chess.term. | доказывать корректность жертвы | prove the soundness of a sacrifice |
| chess.term. | жертва на грани корректности | borderline sacrifice |
| polit. | игнорировать нормы политической корректности | ignore political correctness (CNN Alex_Odeychuk) |
| IT | инструментальное средство контроля корректности | validity check (Alex_Odeychuk) |
| softw. | инструментальное средство формального доказательства корректности ПО | formal proof tool (корпорации AdaCore Alex_Odeychuk) |
| polit. | испытывать полное неприятие политической корректности | have total disdain for political correctness (Alex_Odeychuk) |
| gen. | контроль корректности работы | verification of correct operation (Alexander Demidov) |
| progr. | корректность алгоритма | algorithm's correctness (ssn) |
| progr. | корректность алгоритма | correctness of the algorithm (ssn) |
| meas.inst. | корректность алгоритмов | correctness of algorithms (ssn) |
| meas.inst. | корректность алгоритмов и функций | correctness of algorithms and functions (ssn) |
| progr. | корректность верификации | correctness of verification (ssn) |
| progr. | корректность верификации в соответствии с предыдущей стадией | correctness of verification with respect to the previous phase (ssn) |
| softw. | корректность во время выполнения | correctness at compile time (InfoWorld Alex_Odeychuk) |
| law | корректность высказываний | non-disparagement (статья договора ART Vancouver) |
| gen. | корректность данных | data accuracy (see "data quality" elenpolen) |
| telecom. | корректность данных пользователя | user authenticity (Руфина Хабибуллина) |
| progr. | корректность кода | code's correctness (Alex_Odeychuk) |
| progr. | корректность кода | code correctness (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
| scient. | корректность методологии | methodological soundness (Alex_Odeychuk) |
| progr. | корректность модификации | correctness of modification (ПО ssn) |
| progr. | корректность модификации в соответствии с требованиями к модификации | correctness of modification with respect to its requirements (ssn) |
| progr. | корректность обработки исключений | exception handling correctness (Alex_Odeychuk) |
| progr. | корректность оценки функциональной безопасности | correctness of functional safety assessment (ssn) |
| progr. | корректность оценки функциональной безопасности ПО | correctness of software functional safety assessment (ssn) |
| progr. | корректность оценки функциональной безопасности программного обеспечения | correctness of software functional safety assessment (ssn) |
| progr. | Корректность оценки функциональной безопасности программного обеспечения в соответствии с проектными спецификациями успешное выполнение | Correctness of software functional safety assessment with respect to the design specifications successful completion (см. IEC 61508-7: 2010 ssn) |
| progr. | корректность переключений | correct switching (ssn) |
| progr. | корректность переключений внутри приложений | correct switching upon application (ssn) |
| progr. | корректность переключений внутри приложений в ответ на соответствующие воздействия | correct switching upon application of the relevant stimulus (ssn) |
| progr. | корректность подтверждения соответствия | correctness of validation (ssn) |
| progr. | корректность подтверждения соответствия в соответствии со спецификацией проекта программного обеспечения | correctness of validation with respect to the software design specification (ssn) |
| progr. | корректность программ | program correctness (ssn) |
| progr. | корректность программного обеспечения | correctness of software (Alex_Odeychuk) |
| softw. | корректность программы | program correctness (Alex_Odeychuk) |
| robot. | корректность процедуры | procedure validity |
| progr. | корректность работы | correct operation (ssn) |
| progr. | корректность реализации | code correctness (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
| progr. | корректность реализации в соответствии с формально определённой спецификацией | correctness of the implementation against a formally defined specification (корпорации AdaCore Alex_Odeychuk) |
| progr. | корректность резолюции | soundness of resolution (ssn) |
| progr. | корректность системы | system correctness (ssn) |
| progr. | корректность сложных систем реального времени | correctness of a complex real-time system (ssn) |
| automat. | корректность траектории движения инструмента при любых скоростях | toolpath fidelity for any speed (ssn) |
| el. | корректность уровня выходного напряжения | Power-good (название выхода ИС/модулей стабилизаторов напряжения, который сигнализирует о том, что выходное напряжение находится в границах своего рабочего диапазона qark) |
| chess.term. | корректность хода | accuracy of a move |
| math. | коэффициент корректности | coefficient of correctness |
| cultur. | культура политической корректности | politically correct culture (Fox News Alex_Odeychuk) |
| cultur. | культура политической корректности в студгородке | politically correct culture on campus (Fox News Alex_Odeychuk) |
| Makarov. | ледяная корректность его манер | the frozen formality of his bearing |
| Makarov. | ледяная корректность его манер | frozen formality of his bearing |
| softw. | математически доказанная корректность кода | mathematically proven code correctness (embedded.com Alex_Odeychuk) |
| math. | множество корректности | correctness set |
| automat. | мониторинг корректности позиции | tram monitoring (ssn) |
| progr. | набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения | verifier and prover toolchain (Alex_Odeychuk) |
| polit. | нарушение политической корректности | violation of political correctness (Alex_Odeychuk) |
| gen. | негативно влиять на корректность | compromise (Averaging motion signals across this discontinuity compromises the estimation of the motion of the object. Alexander Demidov) |
| progr. | необходимо проверять корректность переключений внутри приложений в ответ на соответствующие воздействия | check for correct switching upon application of the relevant stimulus (ssn) |
| progr. | необходимо проверять корректность работы с помощью поочерёдной подачи логических "0" и "1" | check for correct operation by introducing in turn a logic "0" and a logic "1" (ssn) |
| polit. | неприятие политической корректности | disregard to political correctness (Alex_Odeychuk) |
| progr. | обеспечение корректности сложных систем реального времени | guaranteeing the correctness of a complex real-time system (ssn) |
| IT | обеспечение согласованности и корректности значений в наборе данных | data cleansing |
| progr. | определение момента передачи данных и их корректности на принимающей стороне | determine when to transmit data and when data is valid at the receiver (ssn) |
| progr. | оценка корректности алгоритма | proving an algorithm's correctness (ssn) |
| amer. | поддержка кандидата в президенты, нарушающего догмы политической корректности | white-lash (напр., в отношении рас, отличных от белой Linch) |
| avia., med. | подтверждение корректности | validization |
| avia., med. | подтверждение корректности | validation |
| automat. | подтверждение корректности | verification (программы) |
| automat. | подтверждение корректности конструкции | design validation (ssn) |
| automat. | подтверждение корректности программы | verifying the program |
| polit. | политическая корректность | political correctitude (Sergei Aprelikov) |
| gen. | политическая корректность | political correctness (oVoD) |
| polit. | Политическая корректность, политкорректность | PC (Politically correct DianaSat) |
| softw. | полная функциональная корректность | full functional correctness (adacore.com Alex_Odeychuk) |
| polit. | полный отказ от политической корректности | total disregard for political correctness (CNN Alex_Odeychuk) |
| softw. | полуформальные и формальные доказательства корректности | semi-formal and formal proofs of correctness (корпорации AdaCore Alex_Odeychuk) |
| polit. | понятие политической корректности | notion of political correctness (CNN Alex_Odeychuk) |
| sec.sys. | попытка замять дело во имя политической корректности | politically correct coverup (CNN Alex_Odeychuk) |
| media. | признак корректности данных | data valid |
| polit. | приносить истину в жертву на алтарь политической корректности | sacrifice the truth on the altar of political correctness (Alex_Odeychuk) |
| avia., med. | проверка корректности | validation |
| avia., med. | проверка корректности | validization |
| comp., net. | проверка корректности | validity check |
| IT | проверка корректности данных | data validation |
| IT | проверка корректности файлов | file consistency check |
| gen. | проверять корректность | verify (Alexander Demidov) |
| progr. | проверяться на корректность во время компиляции | be checked compile-time for correctness (Alex_Odeychuk) |
| progr. | процесс компиляции с доказыванием формальной корректности кода | compilation/proof processes (Alex_Odeychuk) |
| inf. | проявлять вежливость, корректность | play nice (It means to follow the rules and be kind and courteous when you're doing whatever it is you're "playing nice" in; to behave oneself in interaction with others, in particular refraining from instigating trouble, teasing or being cruel; it means to get along with and be nice to whoever you're supposed to "play nice" with. ART Vancouver) |
| polit. | риторика, направленная на отрицание понятия политической корректности | anti-political correctness rhetoric (CNN Alex_Odeychuk) |
| progr. | случайная корректность | coincidental correctness (ssn) |
| polit. | соблюдать нормы политической корректности | toe the lines of political correctness (Alex_Odeychuk) |
| progr. | статическая корректность | static correctness (IBM Alex_Odeychuk) |
| math. | теорема о корректности | soundness theorem (vitalinew) |
| progr. | техническая безопасность и корректность | safety and correctness (IBM Alex_Odeychuk) |
| progr. | убеждаться в корректности выполнения операции "извлечь квадратный корень" | ensure that "square root" is invoked properly (ssn) |
| progr. | утверждение в целях проверки корректности программного обеспечения | assertions for correctness (Alex_Odeychuk) |
| avia., med. | утверждение корректности | validation |
| avia., med. | утверждение корректности | validization |
| geophys. | физическая корректность | physical correctness |
| softw. | формально доказать корректность | formally prove correctness (корпорации AdaCore Alex_Odeychuk) |
| progr. | формальное доказательство корректности | formal proof of correctness (корпорации AdaCore Alex_Odeychuk) |
| progr. | формальное утверждение корректности | assertion (алгоритма Alex_Odeychuk) |
| progr. | функциональная корректность | functional correctness (ssn) |
| progr. | частичная корректность | partial correctness (свойство программы вычислять желаемый результат при условии, что она завершается ssn) |
| polit. | эпидемия политической корректности | epidemic of political correctness |
| hist. | эпоха политической корректности | era of political correctness (CNN; the ~ Alex_Odeychuk) |
