What is the translation of " STATIC VERIFICATION " in Russian?

• статической верификации
• статическая верификация

Examples of using Static verification in English and their translations into Russian

Static Verification of Linux Kernel Configurations.
Статическая верификация конфигураций ядра Linux.

Survey of memory modeling methods in static verification tools.
Обзор подходов к моделированию памяти в инструментах статической верификации.

Mutilin Static Verification of Linux Kernel Configurations pp.
Мутилин Статическая верификация конфигураций ядра Linux Стр.

Mutilin Survey of memory modeling methods in static verification tools pp.
Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Стр.

Static verification of operating system monolithic kernels.
Возможности статической верификации монолитного ядра операционных систем.

Using Linux Device Drivers for Static Verification Tools Benchmarking.
Использова ние драйверов устройств операционной системы Linux для сравнения ин струментов статической верификации.

Novikov Static verification of operating system monolithic kernels pp.
Новиков Возможности статической верификации монолитного ядра операционных систем Стр.

Usability testing separate to two types: dynamic verification and static verification.
Тестирование удобства делится на два типа: динамическая проверка и статическая проверка.

Combination of static verification methods for checking requirements composition.
Комбинация методов статической верификации композиции требований.

The survey considers methods and techniques used in modern static verification tools for C programs.
В работе рассмотрены методы и техники, используемые в современных инструментах статической верификации Си программ.

Mordan Combination of static verification methods for checking requirements composition pp.
Мордань Комбинация методов статической верификации композиции требований Стр.

Static Verification Tools for C Programs and Linux Device Drivers: A Survey.
Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux.

Currently, LDV KLEVER uses such static verification tools as CPAchecker, BLAST and CBMC.
В настоящее время LDV KLEVER использует такие инструменты статической верификации, как CPAchecker, BLAST и CBMC.

Static verification is verification without the execution of software source code.
Статическая верификация- это один из способов верификации, который производится без выполнения исходного кода программы.

Mutilin Survey of memory modeling methods in static verification tools Proceedings of the Institute for System Programming.
Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Труды Института системного программирования РАН.

Novikov Static verification of operating system monolithic kernels Proceedings of the Institute for System Programming.
Новиков Возможности статической верификации монолитного ядра операционных систем Труды Института системного программирования РАН.

Z-14.4-599 by the German Institute for Building Technology[DiBt], which means the basis for static verification of the selected construction connection was also established.
Для стяжного замка BT- Spannschloss в апреле 2010 года Немецким институтом строительной техники был выдан Общий строительный допуск( Z- 14. 4- 599), который одновременно является основанием для подтверждения статических характеристик выбранного конструктивного соединения.

However, just static verification aims at identifying all bugs of a particular type.
Однако только статическая верификация нацелена на выявление всех возможных ошибок искомого вида.

Precision, completeness and scalability of static verification tools have dramatically improved over the last decade.
Точность, полнота и масштабируемость применяемых на практике инструментов статической верификации значительно возросла за последнее десятилетие.

Static verification proves correctness of the software against checked requirements, but it requires a lot of resources for that and its task is undecidable in general case.
Статическая верификация программного обеспечения доказывает выполнение требований в программах, однако для этого необходимо большое количество вычислительных ресурсов, кроме того, соответствующая задача не всегда может быть решена.

One can find all such violations in modules or can prove their correctness using static verification tools that need contract specifications describing obligations of a kernel and modules relative to each other.
Выявить все такие нарушения в модулях или доказать их корректность потенциально можно с помощью инструментов статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации, описывающие формальным образом обязательства ядра и модулей по отношению друг к другу.

Mutilin Static Verification of Linux Kernel Configurations Proceedings of the Institute for System Programming.
Мутилин Статическая верификация конфигураций ядра Linux Труды Института системного программирования РАН.

One can identify all such the violations in modules or prove their correctness with help of static verification tools which needs contract specifications describing formally obligations of a kernel and modules with respect to each other.
Выявить все такие нарушения в модулях или доказать их корректность потенциально можно с помощью инструментов статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации, описывающие формальным образом обязательства ядра и модулей по отношению друг к другу.

In Static verification execute gathering feedbacks on the testing product, several other test tools are also used, such as scenario instructions, paper prototypes and questionnaires before and after testing.
В статической проверке выполняется сбор отзывов на тестируемом продукте, также используются несколько других инструментов тестирования, таких как инструкции по сценарию, прототипы и опросные листы бумаги до и после тестирования.

One of the key problems in modern static verification methods is a precise model for semantics of expressions containing pointers.
Одна из фундаментальных проблем в современных методах статической верификации программ состоит в точном учете семантики выражений с указателями.

Nowadays static verification is one of the most promising methods for finding bugs in programs.
Одним из наиболее перспективных методов поиска ошибок в программах в настоящее время является статическая верификация.

The integration of the two aspects allows a scenario where the static verification of internal services and the dynamic verification of(potentially malicious) external services cooperate in order to reduce testing effort and enhance security.
Соединение этих двух аспектов делает возможным сценарий, когда статическая верификация внутренних сервисов и динамическая проверка( потенциально злонамеренных) внешних сервисов совместно снижают объемы необходимого тестирования и увеличивают безопасность системы.

Mordan Combination of static verification methods for checking requirements composition Proceedings of the Institute for System Programming.
Мордань Комбинация методов статической верификации композиции требований Труды Института системного программирования РАН.

As a first step towards static verification of operating system monolithic kernels a method is proposed for decomposition of kernels into subsystems.
В качестве первого шага в направлении статической верификации монолитного ядра операционных систем предлагается метод декомпозиции ядра на подсистемы.

Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications.
Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных моделей и формальных спецификаций.