| Subject | English | Russian |
| progr. | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| progr. | allow the verification of time bounded properties | позволять верифицировать свойства с ограничениями по времени (ssn) |
| qual.cont. | Assessment and Verification of Constancy of Performance | оценка и проверка постоянства качественных показателей (в Декларации о качественных показателях; AVCP rybachuk) |
| tech. | Assessment and Verification of Constancy of Performance | оценка и проверка постоянства рабочих характеристик (Natalya Rovina) |
| progr. | automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| progr. | automated verification of data quality | автоматизированная проверка качества данных (Konstantin 1966) |
| telecom. | busy verification of stations | возможность проверять состояние абонентов |
| telecom. | busy verification of terminals and trunks | проверка занятости терминалов и соединительных линий (oleg.vigodsky) |
| qual.cont. | characterization and verification of ultrasonic examination equipment | определение характеристик и верификация ультразвукового оборудования (Soulbringer) |
| NATO | Committee on the Rules of Procedure, the Verification of Credentials and Immunity | Комитет по процедурным правилам, проверке полномочий и депутатским привилегиям |
| bank. | conducting physical verification of the pledged inventory | проведение физического мониторинга товаров в обороте (проверка сотрудником залоговой службы банка физического наличия (по количеству, качеству) на складах заемщика товаров в обороте, оформленных в залог Alex_Odeychuk) |
| polit. | control verification of a treaty | контроль за соблюдением соглашения |
| polit. | control verification of a treaty | контроль за соблюдением договора |
| polit. | control verification of an agreement | контроль за соблюдением соглашения |
| polit. | control verification of an agreement | контроль за соблюдением договора |
| meas.inst. | deviation for the verification of calibration | отклонение при проверке калибровки (разность между показанием измерительного прибора, подлежащего поверке калибровки, и показанием эталонного измерительного прибора в одинаковых рабочих условиях ssn) |
| dipl. | ensure verification of compliance with the obligations | обеспечить контроль за выполнением обязательств |
| Gruzovik, dipl. | ensuring verification of compliance | обеспечение контроля за соблюдением |
| bank. | fee for physical verification of real properties | комиссия за физический мониторинг недвижимости (Alex_Odeychuk) |
| bank. | fee for physical verification of real properties | комиссионное вознаграждение за физический мониторинг недвижимости (Alex_Odeychuk) |
| bank. | fee for physical verification of real properties | комиссионное вознаграждение за мониторинг недвижимости (Alex_Odeychuk) |
| bank. | fee for physical verification of real properties | комиссия за мониторинг недвижимости (Alex_Odeychuk) |
| Gruzovik, dipl. | for the purpose of ensuring verification of compliance with the provisions of the treaty | в целях обеспечения контроля за соблюдением положений договора |
| softw. | formal verification of an implementation against a specification | формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk) |
| progr. | formal verification of implicit calls | формальная верификация неявных вызовов (adacore.com Alex_Odeychuk) |
| dipl. | impede verification of compliance | затруднять осуществление контроля за соблюдением (соглашения) |
| econ. | in verification of the account | в подтверждение счета |
| progr. | independent verification of the timing constraints realised during the synthesis | независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| Gruzovik, dipl. | location containing objects of verification of stationed forces | место расположения, содержащих объекты контроля размещённых сил |
| mil. | mission for the Verification of Human Rights | Миссия по контролю за соблюдением прав человека |
| polit. | monitoring verification of a treaty | контроль за соблюдением соглашения |
| polit. | monitoring verification of a treaty | контроль за соблюдением договора |
| polit. | monitoring verification of an agreement | контроль за соблюдением соглашения |
| polit. | monitoring verification of an agreement | контроль за соблюдением договора |
| scient. | the most unusual tests would be the experimental verification of | самыми необычными тестами стали бы экспериментальные проверки ... |
| mil. | movement overseas verification of enlisted members | контроль за перевозками военнослужащих рядового и сержантского состава на заморские территории |
| gen. | on-orbit verification of requirements | орбитальный контроль на соответствие техническим требованиям |
| bank. | physical verification of real properties | физический мониторинг недвижимости (Alex_Odeychuk) |
| bank. | physical verification of real properties | мониторинг недвижимости (Alex_Odeychuk) |
| bank. | physical verification of road transport | физический мониторинг автотранспорта (Alex_Odeychuk) |
| bank. | physical verification of road transport | мониторинг автотранспорта (Alex_Odeychuk) |
| bank. | physical verification of the collateralized property | физический мониторинг залогового имущества (Alex_Odeychuk) |
| bank. | physical verification of the inventory to be taken as collateral enhancement | физический мониторинг товаров в обороте, которые дополнительно принимаются в залог (Alex_Odeychuk) |
| bank. | physical verification of the mortgaged immovable property | мониторинг предмета ипотеки (букв. – оформленного в ипотеку недвижимого имущества Alex_Odeychuk) |
| O&G, casp. | procedure on metrological verification of measuring instruments | порядок проведения метрологической аттестации средств измерений (Yeldar Azanbayev) |
| polit. | Proposal by the USSR concerning the content of procedures for the verification of the destruction of chemical weapons stockpiles | Предложение СССР о содержании процедур контроля за уничтожением запасов химического оружия (внесено на Конференции по разоружению 2 апреля 1984 г.; док. CD/CW/WP. 78 от 2 апреля 1984 г., submitted to the Conference on Disarmament on 2 April 1984; Doc. CD/CW/WP. 78 of 2 April 1984) |
| dipl. | provide for verification of the implementation of an agreement | предусмотреть проверку выполнения соглашения |
| sec.sys. | Qualified certificate of the key for verification of digital signature | Квалифицированный сертификат ключа проверки электронной подписи (КСКП ЭП ravnybogu) |
| polit. | ready verification of orbit | беспрепятственная проверка орбиты |
| law | requirements for verification of customer identification information | требования по проверке идентификационной информации клиента (англ. термин взят из документа PricewaterhouseCoopers Alex_Odeychuk) |
| polit. | scope and verification of the prohibition | объём запрещения и контроль за его соблюдением |
| gen. | seismological verification of a nuclear test ban | сейсмологическая проверка договора о запрещении ядерных испытаний |
| progr. | semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| gen. | State Duma Commission for the Verification of Incomes, Assets and Liabilities Reported by State Duma Deputies | Комиссия Государственной Думы по контролю за достоверностью сведений о доходах, об имуществе и обязательствах имущественного характера, представляемых депутатами Государственной Думы (Alexander Demidov) |
| progr. | static verification of programs | статическая верификация программ (Microsoft Alex_Odeychuk) |
| progr. | this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services | этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней |
| energ.syst. | VAV – Verification of Absence of Voltage | Проверка отсутствия напряжения (Bunafsha) |
| gen. | verification of | контроль за правильным (Alexander Demidov) |
| econ. | verification of a bill | проверка счёта |
| polit. | verification of a prohibition | контроль за соблюдением запрещения |
| dipl. | verification of a treaty | проверка осуществления договора |
| EBRD | verification of accounts | выверка счетов |
| law | verification of age | установление возраста (sankozh) |
| dipl. | verification of an agreement | проверка выполнения соглашения |
| dipl. | verification of an agreement | контроль выполнения соглашения |
| econ. | verification of an invoice | проверка счета-фактуры |
| mil. | verification of arms control agreements | проверка соблюдения соглашений о контроле над вооружениями |
| progr. | verification of asynchronous software systems | верификация асинхронных программных систем (ssn) |
| notar. | verification of authority to enact the law in question | высшая критика |
| fin. | verification of bills | проверка векселей (WiseSnake) |
| meas.inst. | verification of calibration | проверка калибровки (ряд операций, используемых для проверки того, соответствуют ли показания в пределах калибровочной диаграммы в определённых условиях данному ряду эталонных значений ssn) |
| mil., WMD | verification of chemical inventory records | проверка записей инвентарного учёта химикатов |
| progr. | verification of class hierarchy consistency | верификация согласованности иерархии классов (корпорации AdaCore Alex_Odeychuk) |
| progr. | verification of combinational logic | верификация комбинационных логических схем (ssn) |
| astronaut. | verification of compatibility | испытания на совместимость |
| astronaut. | verification of compatibility | проверка совместимости |
| progr. | verification of completeness of interaction between modules | проверка полноты взаимодействия между модулями (ssn) |
| gen. | verification of completion reporting | отчётность по проверке завершения работ (Alexander Demidov) |
| polit. | verification of compliance | проверка соблюдения (with) |
| mil. | verification of compliance | проверка соблюдения |
| patents. | verification of compliance with patentability criteria | проверка на соответствие критериям патентоспособности (white_canary) |
| polit. | verification of compliance with the obligations of a treaty | контроль за соблюдением обязательств по договору |
| polit. | verification of compliance with the obligations of a treaty | контроль за выполнением обязательств по договору |
| mil., WMD | verification of compliance with the provisions of the convention | контроль за соблюдением положений конвенции |
| gen. | verification of compliance with the requirements for | контроль выполнения требований к ... (railwayman) |
| progr. | verification of concurrent systems | верификация параллельных систем (ssn) |
| med. | verification of conformity | оценка соответствия (Andy) |
| med. | verification of conformity | Проверка соответствия (одтверждение соответствия продукции, процесса или услуги заданным требованиям, получаемое путем изучения доказательств Andy) |
| progr. | verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |
| law | verification of constitutionality | проверка конституционности (grafleonov) |
| gen. | verification of correct operation | контроль корректности работы (Alexander Demidov) |
| EBRD | verification of costs | выверка счетов |
| busin. | verification of credentials | проверка удостоверения личности |
| gen. | verification of credentials | проверка полномочий |
| busin. | verification of credit standing | проверка кредитоспособности |
| hydrol. | verification of current meter | проверка вертушки |
| hydrol. | verification of current meter | повторная тарировка вертушки |
| law | verification of customer identification information | проверка идентификационной информации клиента (англ. термин взят из документа PricewaterhouseCoopers Alex_Odeychuk) |
| med. | Verification of Data | Верификация проверка данных (Процедуры, направленные на выявление механических ошибок, возникающий при переносе данных Andy) |
| progr. | verification of data flows | верификация потоков данных (корпорации AdaCore Alex_Odeychuk) |
| progr. | verification of device configurations | верификация конфигураций устройства (ssn) |
| polit. | verification of disarmament agreement | контроль за соблюдением соглашений о разоружении |
| polit. | verification of disarmament measures | контроль за соблюдением мер по разоружению |
| polit. | verification of disarmament measures | контроль за осуществлением мер по разоружению |
| polit. | verification of disarmament measures | контроль за выполнением мер по разоружению |
| polit. | verification of disarmament treaty | контроль за соблюдением договора о разоружении |
| oil | verification of document | ревизия документа (documentation Seregaboss) |
| oil | verification of document | проверка документа (documentation Seregaboss) |
| O&G | verification of eligibility | верификация приемлемости (Александр Стерляжников) |
| busin. | verification of employment | справка с места работы (Johnny Bravo) |
| econ. | verification of evidence | проверка доказательства |
| busin. | verification of evidence | проверка доказательств |
| busin. | verification of financial position | проверка финансового положения |
| progr. | verification of finite-state systems | верификация систем с конечным числом состояний (ssn) |
| mil., arm.veh. | verification of fire | контроль стрельбы |
| dipl. | verification of flag | проверка флага |
| geogr. | verification of forecast | оправдываемость прогноза |
| econ. | verification of forecast | проверка прогноза |
| hydrol. | verification of forecast | проверка оправдываемости прогноза |
| meteorol. | verification of forecast | проверка прогнозов |
| gen. | verification of fulfilment of obligations | проверка выполнения обязательств |
| dipl. | verification of fulfilment of the obligations | проверка выполнения обязательств |
| radioloc. | verification of generated models | верификация создаваемых моделей (Konstantin 1966) |
| bank. | verification of genuineness of signature | проверка подлинности подписи |
| econ. | verification of genuineness of signature | проверка подлинности подписи (на векселе, чеке) |
| busin. | verification of gross profit on sales | проверка торговой валовой прибыли |
| progr. | verification of hardware and software | верификация аппаратуры и программного обеспечения (ssn) |
| gen. | Verification of information | верификация данных (Dollie) |
| pharma. | verification of instrumentation | поверка средства измерений (GLP (Правила надлежащей лаб. практики) Эсмеральда) |
| mil., WMD | verification of inventory records | проверка записей инвентарного учёта |
| law | verification of judgment | проверка приговора |
| tech. | verification of keying | контроль нажатия клавиш |
| math. | verification of law | проверка закона |
| mil. | verification of laying | уточнение наводки |
| progr. | verification of layout versus schematic | проверка соответствия топологии схеме (см. IEC 61508-7:2010 ssn) |
| forestr. | Verification of Legal Origin | проверка законности происхождения (VLO TatkaS) |
| automat. | verification of leveling of slideways | проверка точности установки направляющих по уровню |
| automat. | verification of leveling of slideways | проверка горизонтальной установки направляющих |
| O&G, casp. | verification of measuring devices | поверка СИ (Yeldar Azanbayev) |
| mech. | verification of measuring instrument | проверка измерительных устройств |
| metrol. | verification of measuring instruments | поверка средства измерений (см. Рекомендации по межгосударственной стандартизации РМГ 29-99 Yuriy Melnikov) |
| automat. | verification of measuring instruments | проверка измерительных приборов |
| progr. | verification of mock method calls | проверка вызова методов имитирующего объекта (Alex_Odeychuk) |
| libr. | verification of paging | проверка пагинации |
| automat. | verification of parallelism of the pulling chuck hole axis to its movement | проверка параллельности оси отверстия под рабочий патрон протяжного станка траектории его перемещения |
| law | verification of performance | проверка исполнения |
| law | verification of powers | проверка полномочий |
| law | verification of quality | проверка качества |
| mil., avia. | verification of quality | контроль качества |
| gen. | verification of readiness for | проверка готовности к (Alexander Demidov) |
| pharma. | verification of reagents upon receipt | входной контроль реагентов (CRINKUM-CRANKUM) |
| tax. | verification of reinstated VAT | проверка правильности восстановления НДС (англ. перевод предложен пользователем akhmed Forum_Saver) |
| tax. | verification of reinstated VAT in case of non-VATable sales transactions | проверка правильности восстановления НДС при возникновении операций по реализации не облагаемых НДС (англ. перевод предложен пользователем akhmed Forum_Saver) |
| gen. | verification of reported | контроль за достоверностью сведений о (Alexander Demidov) |
| avia. | verification of serviceability | контроль за эксплуатационными свойствами (elena.kazan) |
| data.prot. | verification of session credentials | проверка учётных данных сеанса связи (github.com Alex_Odeychuk) |
| mil., artil. | verification of short bracket | обеспечение пределов узкой вилки |
| astronaut. | verification of specifications | проверка технических условий |
| busin. | verification of stamp duty | проверка гербового сбора |
| polit. | verification of stockpiles destruction | контроль за уничтожением запасов (определённого вида оружия и т. п.) |
| gen. | verification of sufficient thermal insulation | сертификат о теплоизоляции |
| product. | verification of supplies | входной контроль (VLZ_58) |
| media. | verification of the agreement | проверка выполнения соглашения (bigmaxus) |
| gymn. | verification of the apparatus | проверка снаряда |
| progr. | verification of the external system functions as stated in the external specifications | контроль внешнего поведения системы, определённого внешними спецификациями (ssn) |
| progr. | verification of the gate netlist against reference model by simulation | проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn) |
| gen. | verification of the identity | выяснение личности (mascot) |
| progr. | verification of the integrity | проверка целостности (ssn) |
| progr. | verification of the integrity of a produced application | проверка целостности созданного приложения (ssn) |
| progr. | verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine | проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn) |
| law | verification of the legality and validity | проверка законности и обоснованности (of OLGA P.) |
| gen. | verification of the match between | проверка соответствия (Alexander Demidov) |
| polit. | verification of the non-production of chemical weapons | контроль за непроизводство ом химического оружия |
| dril. | verification of the report | проверка отчёта (Yeldar Azanbayev) |
| fire. | verification of the safety requirements and/or protective measures | подтверждение выполнения требований безопасности и / или защитных мер (yevsey) |
| progr. | verification of the timing constraints | проверка ограничений синхронизации (ssn) |
| progr. | verification of the timing constraints realised during the synthesis | проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| law | verification of the veracity | проверка достоверности (the sale of swords must be given even greater security than knives and verification of the veracity of the proof should be sought ... Alexander Demidov) |
| law | verification of the veracity of the assertion | проверка достоверности предположения (trismegist) |
| phys. | verification of theory | проверка теории |
| mech. | verification of tool identity | контроль правильности выбора инструмента |
| automat. | verification of tool identity | контроль правильности выбора инструмента (при автоматической смене) |