DictionaryForumContacts

   English Russian
Terms for subject Programming containing Verification of the | all forms | exact matches only | in specified order only
EnglishRussian
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)
completeness of verification with respect to the previous phaseполнота верификации в соответствии с предыдущей стадией (ssn)
correctness of verification with respect to the previous phaseкорректность верификации в соответствии с предыдущей стадией (ssn)
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)
role of formal verification techniques in the context of software validation and testingроль методов формальной верификации в контексте проверки соответствия и тестирования ПО (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 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)