VERIFICATION TOOLS на Русском - Русский перевод

• инструментов проверки
• инструменты верификации
• инструменты проверки
• средства контроля

Примеры использования Verification tools на Английском языке и их переводы на Русский язык

Documentation systems as potential verification tools.
Системы документации как потенциальные инструменты проверки.

This implies that some verification tools might have to be further developed.
Это предполагает, что, возможно, надо было бы дополнительно доработать некоторые инструменты проверки.

In the other half of the first day's session, we focused on various verification tools applicable to FMCT.
Во второй половине первого дня сессии мы сосредоточились на различных инструментах проверки, применимых к ДЗПРМ.

Establish verification tools for voluntary agreements and government regulation;
Создания механизмов контроля за осуществлением добровольных соглашений и мер государственного регулирования;

Loans are provided online on the websites of special credit institutions through a variety of credit platforms and credit verification tools.
Займы предоставляются онлайн на веб- сайтах специальных кредитных организаций посредством разнообразных платформ кредитования и инструментов проверки кредитоспособности.

It is clear that more stringent verification tools are required to fulfil that mandate.
Очевидно, что для выполнения этого мандата требуются более жесткие механизмы проверки.

A number of other non-destructive assay techniques are being explored within the United Kingdom verification programme as candidate verification tools.
В рамках осуществляемой Соединенным Королевством программы, касающейся проверки, изучается ряд других методов неразрушающего контроля как потенциальных инструментов проверки.

The magnifiers can be used as separate authenticity verification tools or can be supplied with other Regula devices extending their functionality.
Используются как самостоятельные средства контроля исследуемых объектов, так и в комплекте поставки приборов« Регула», расширяя их функциональные возможности.

The Trusted Cloud project at Microsoft Research explores ways to answer this question, and it builds on techniques spanning hardware, OS, compilers and verification tools.
Проект Trusted Cloud в Microsoft Research занимается исследованиями в этом направлении, и основывается на методах, охватывающих аппаратные средства, операционную систему, компиляторы и инструменты верификации.

An additional challenge is the political and operational need to ensure that all the verification tools provided for in the CWC work as they should.
Еще одна задача заключается в политической и организационной необходимости обеспечить надлежащее функционирование всех инструментов проверки, предусмотренных в КХО.

One significant aspect in this context is the attempt to enhance the global standards of the mechanisms for the implementation of these instruments and to improve their verification tools.
И одним из значительных аспектов в этом контексте являются усилия по упрочению глобальных стандартов механизмов осуществления этих документов и по усовершенствованию их проверочных инструментов.

We have provided a range of Bitcoin casino provably fair verification tools to help you to know whether or not your Bitcasino game is provably fair.
Мы предусмотрели ряд Bitcoin казино доказуемо справедливые инструментов проверки, чтобы помочь вам, чтобы узнать, действительно ли ваша Bitcasino игры доказуемо ярмарки.

The proposed revised standards and procedures and other recommendations will benefit the Secretariat by improving the structure of the COE system and provide more transparent and enhanced verification tools.
Предлагаемые пересмотренные стандарты и процедуры и другие рекомендации будут служить для Секретариата подспорьем в деле совершенствования структуры системы ИПК и обеспечения более транспарентных и эффективных инструментов проверки.

The following devices may be used as separate authenticity verification tools or can be supplied with other Regula devices extending their functionality.
Данные приборы используются как самостоятельные средства контроля исследуемых объектов, а также могут быть включены в комплекте поставки приборов« Регула», расширяя их функциональные возможности.

But our vision will only be achievable if we are able to advance the agenda on non proliferation and disarmament together- not one without the other- and if we work together on reliable verification tools and collective security arrangements.
Но наше видение будет достижимо только в том случае, если мы окажемся в состоянии продвигать повестку дня по нераспространению и по разоружению в совокупности- а не одно без другого и если мы будем совместно работать над надежными инструментами проверки и механизмами коллективной безопасности.

In order to put the spotlight on usability of verification tools we chose an automated verifier for the Eiffel programming language, AutoProof, and a well-known benchmark, the Tokeneer problem.
Для того, чтобы обратить внимание общественности на важность удобства использования инструментов верификации, мы применили инструмент AutoProof к хорошо известному проекту Tokeneer.

Simultaneous analysis of both module source code and the rest of the core code is difficult for existing verification tools due to large volume and complexity of such system's code.
Одновременно анализировать исходный код модуля вместе с кодом остального ядра затруднительно для существующих инструментов верификации из-за большого объема и сложности кода такой системы.

Brief overview of verification tools and benefits of application standalone simulation based verification for checking the correctness of communication subsystems are marked out in the paper.
В статье дан краткий обзор средств верификации и преимуществ применения автономной имитационной верификации для проверки корректности контроллеров сопряжения интерфейсов в составе подсистем связи.

The Additional Protocol has proven to provide additional, necessary and effective verification tools, while protecting legitimate national interests in security and confidentiality.
Дополнительный протокол доказал способность обеспечивать дополнительные, необходимые и действенные средства проверки, защищая в то же время законные национальные интересы в областях физической безопасности и конфиденциальности.

The proposed revised standards and administrative procedures and the addition of new categories and subcategories will benefit the Secretariat by improving the structure of the contingent-owned equipment system and provide more transparent and enhanced verification tools.
Предлагаемые пересмотренные нормативы и административные процедуры, а также вводимые новые категории и подкатегории помогут Секретариату усовершенствовать структуру системы принадлежащего контингентам имущества и позволят получить более транспарентные и совершенные инструменты проверки.

It also bears in mind that the verification system should, at least initially, build upon existing verification tools used by IAEA, in which States already have a high degree of confidence.
В нем также учитывается, что система проверки должна- по крайней мере первоначально- основываться на существующих инструментах проверки, используемых МАГАТЭ, к которым государства уже питают высокую степень доверия.

At the roundtable‘Innovative Development and Protecting Intellectual Property in the Digital Economy' panellists will discuss the legal regulation of IP in a new environment, tools and levels of protection for intellectual property rights, and global information verification tools to prevent violations of rights.
На круглом столе« Инновационное развитие и защита интеллектуальной собственности в цифровой экономике» участники дискуссии обсудят правовое регулирование сферы ИС в новых условиях, инструменты и степени защиты прав интеллектуальной собственности, глобальные инструменты проверки информации, позволяющие предупредить нарушение прав.

Participants discussed the lack of clarity as to whether the CBMs are intended as verification tools or for building confidence, which might be resolved by clearly focusing future efforts on enhancing transparency.
Участники обсудили проблему отсутствия ясности в вопросе о том, для чего предназначены МД- для использования в качестве инструментов проверки или для укрепления доверия, который можно было бы решить посредством четкой фокусировки будущих усилий на повышении транспарентности.

Alongside the continuing implementation of the revised personnel reimbursement framework approved by the General Assembly in its resolution 67/261, the proposed revised standards and procedures and other recommendations will benefit the Secretariat by improving the structure of the contingent-owned equipment system and providing more transparent and enhanced verification tools.
Наряду с продолжающимся внедрением пересмотренной схемы возмещения расходов на персонал, утвержденной Генеральной Ассамблеей в ее резолюции 67/ 261, предлагаемые пересмотренные нормативы и процедуры и другие рекомендации принесут пользу Секретариату за счет совершенствования структуры системы принадлежащего контингентам имущества и обеспечения наличия более транспарентных и эффективных инструментов проверки.

The presentations ranged from identifying and defining business and statistical units to implementing, maintaining and improving business profiling with verification tools using tax data, as well as to the benefits and challenges of maintaining such a programme.
Доклады охватывали широкий круг тем, от выявления и определения юридических и статистических единиц до внедрения, осуществления и улучшения процедуры анализа структуры предприятий с применением механизмов проверки, основанных на данных об уплате налогов, а также рассматривались преимущества и проблемы, связанные с осуществлением таких программ.

For never before had the international community banned so comprehensively an entire category of weapons of mass destruction together with creating the verification tools necessary to assure compliance with these prohibitions.
Международное сообщество еще никогда не производило столь всеобъемлющего запрещения целой категории оружия массового уничтожения наряду с созданием необходимых средств проверки, дабы обеспечить соблюдение этих запрещений.

To make that vision a reality, all states-- nuclear weapon states and non-nuclear weapon states alike-- should work together on developing the verification tools and collective security arrangements that are needed.
Чтобы воплотить в реальность такое видение, всем государствам- как государствам, обладающим ядерным оружием, так и государствам, не обладающим ядерным оружием,- следует совместно трудиться над разработкой необходимых инструментов проверки и механизмов коллективной безопасности.

Scientific advances of the PhD thesis are as follows: a new method for describing rules for correct usage of the kernel API as contract specifications; a new aspect-oriented extension for the C programming language with GCC compiler extensions; a new method for automated instrumenting Linux kernel modules source code that allows to use different software verification tools for checking it against rules specified by contract specifications; a new method of automated support of contract specifications correctness and compatibility under circumstances of Linux kernel API mutations.
Научной новизной обладают следующие результаты работы: новый метод описания в виде контрактных спецификаций правил корректного использования программного интерфейса ядра Linux; новое аспектно- ориентированное расширение языка программирования Си с поддержкой расширений компилятора GCC; новый метод автоматизированного инструментирования исходного кода модулей ядра Linux, который позволяет в дальнейшем применять различные инструменты верификации для проверки выполнения правил, заданных контрактными спецификациями; новый метод автоматизированной поддержки корректности и согласованности контрактных спецификаций в условиях изменения программного интерфейса ядра Linux.

The Berkeley Lazy Abstraction Software Verification Tool(BLAST) is a software model checking tool for C programs.
Berkeley Lazy Abstraction Software Verification Tool( BLAST)- программа проверки моделей для языка Си.

How can the verification tool differ from one to the other?
Как средство проверки может отличаться одно от другого?