English | Russian |
a lot of verification methods | целый ряд методов верификации (ssn) |
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) |
allow the verification of time bounded properties | позволять верифицировать свойства с ограничениями по времени (ssn) |
approach of formal verification | метод формальной верификации (ssn) |
automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
automated verification of data quality | автоматизированная проверка качества данных (Konstantin 1966) |
category of formal verification | категория формальной верификации (ssn) |
completeness of verification | полнота верификации (ssn) |
completeness of verification with respect to the previous phase | полнота верификации в соответствии с предыдущей стадией (ssn) |
correctness of verification | корректность верификации (ssn) |
correctness of verification with respect to the previous phase | корректность верификации в соответствии с предыдущей стадией (ssn) |
different flavors of formal verification | особенности формальной верификации (ssn) |
ease of program verification | удобство верификации программы (ssn) |
formal verification of implicit calls | формальная верификация неявных вызовов (adacore.com Alex_Odeychuk) |
implementation of the verification process | осуществление процесса верификации (ssn) |
in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers | ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
independent verification of the timing constraints realised during the synthesis | независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
measures verification activity with respect to microarchitecture details of the actual implementation | мероприятия по проверке микроархитектурных особенностей готовой реализации (ssn) |
purpose of the verification process | цель процесса верификации (ssn) |
result of the successful implementation of the verification process | результат успешного осуществления процесса верификации (ssn) |
review of software verification methods | обзор методов верификации ПО (ssn) |
review of software verification methods | обзор методов верификации программного обеспечения (ssn) |
role of formal verification techniques | роль методов формальной верификации (ssn) |
role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
role of testing in verification and validation | роль тестирования в верификации и валидации (ssn) |
semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
static verification of programs | статическая верификация программ (Microsoft Alex_Odeychuk) |
subclass of formal verification | подвид формальной верификации (ssn) |
subclass of formal verification called model checking | подвид формальной верификации, называемый верификация модели (ssn) |
successful implementation of the verification process | успешное осуществление процесса верификации (ssn) |
the most obvious and traditional method of design verification is prototyping | Наиболее очевидный и традиционный метод верификации проекта-при помощи прототипа |
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 сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней |
verification against a sequence of progressively more complete system element configurations | верификация при помощи последовательности наращиваемых конфигураций системных элементов (ssn) |
verification of asynchronous software systems | верификация асинхронных программных систем (ssn) |
verification of class hierarchy consistency | верификация согласованности иерархии классов (корпорации AdaCore Alex_Odeychuk) |
verification of combinational logic | верификация комбинационных логических схем (ssn) |
verification of completeness of interaction between modules | проверка полноты взаимодействия между модулями (ssn) |
verification of concurrent systems | верификация параллельных систем (ssn) |
verification of consistency between specification and implementation | проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk) |
verification of data flows | верификация потоков данных (корпорации AdaCore Alex_Odeychuk) |
verification of device configurations | верификация конфигураций устройства (ssn) |
verification of finite-state systems | верификация систем с конечным числом состояний (ssn) |
verification of hardware and software | верификация аппаратуры и программного обеспечения (ssn) |
verification of layout versus schematic | проверка соответствия топологии схеме (см. IEC 61508-7:2010 ssn) |
verification of mock method calls | проверка вызова методов имитирующего объекта (Alex_Odeychuk) |
verification of the external system functions as stated in the external specifications | контроль внешнего поведения системы, определённого внешними спецификациями (ssn) |
verification of the gate netlist against reference model by simulation | проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn) |
verification of the integrity | проверка целостности (ssn) |
verification of the integrity of a produced application | проверка целостности созданного приложения (ssn) |
verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine | проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn) |
verification of the timing constraints | проверка ограничений синхронизации (ssn) |
verification of the timing constraints realised during the synthesis | проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |