Subject | Russian | English |
progr. | автоматическая верификация | automatic verification (Alex_Odeychuk) |
IT | автоматическая верификация | mechanical verification |
progr. | автоматическая верификация | automated verification (ssn) |
microel. | автоматическая верификация проекта | automatic design verification |
softw. | автоматическая модульная верификация | automated modular verification (Alex_Odeychuk) |
progr. | автоматическая формальная верификация программного обеспечения | automated formal verification of software (Alex_Odeychuk) |
media. | автоматически выполняемая процедура верификации после записи данных | auto verify |
softw. | автоматический статический анализ и формальная верификация программного обеспечения | automatic analysis and verification (Electronic Design Alex_Odeychuk) |
econ. | алгоритм верификации | verification algorithm |
progr. | алгоритм верификации моделей для LTL | LTL model checking algorithm (ssn) |
progr. | алгоритм верификации моделей для CTL | CTL model checking algorithm (ssn) |
progr. | алгоритм символьной верификации моделей для LTL | LTL symbolic model checking algorithm (Linear Temporal Logic ssn) |
progr. | алгоритм символьной верификации моделей для CTL | CTL symbolic model checking algorithm (Computation Tree Logic ssn) |
progr. | алгоритмы верификации моделей для формул LTL | algorithms for LTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL | algorithms for CTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL и для формул LTL | algorithms for CTL model checking, LTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
progr. | алгоритмы формальной верификации | formal verification algorithms (ssn) |
progr. | аттестация и верификация | verification and validation (ssn) |
NATO | База данных НАТО по верификации | NATO Verification database (yevsey) |
progr. | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | биометрическая верификация | biometric verification (ssn) |
media. | биометрическая верификация | biometric verification (аутентификация пользователя по его биометрическим характеристикам, например, по отпечаткам пальцев, голосу или сетчатке глаза) |
progr. | более сложные методы верификации | more complex verification techniques (ssn) |
progr. | более сложные методы верификации, основанные на непрерывном времени | more complex verification techniques based on continuous time (ssn) |
progr. | большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
softw. | быстрая верификация | rapid verification (Alex_Odeychuk) |
USA | Бюро контроля, верификации и соблюдения соглашений о вооружениях | Bureau of Arms Control, Verification and Compliance (AMlingua) |
progr. | в процессе разработки и верификации программного обеспечения | in the development and verification process (корпорации AdaCore Alex_Odeychuk) |
softw. | в целях верификации программного обеспечения | in software verification scenarios (Microsoft Alex_Odeychuk) |
avia. | валидация и верификация | V and V (MichaelBurov) |
avia. | валидация и верификация | verification and validation (MichaelBurov) |
avia. | валидация и верификация | validation & verification (MichaelBurov) |
avia. | валидация и верификация | V&V (MichaelBurov) |
progr. | верификации типов и кода | type- and code-verification (ssn) |
telecom. | верификация аварийных сигналов | alarm verification (oleg.vigodsky) |
el. | верификация аппаратного обеспечения | hardware verification (ssn) |
progr. | верификация аппаратных средств | HW verification (ssn) |
progr. | верификация аппаратных средств | hardware verification (ssn) |
progr. | верификация аппаратуры и программного обеспечения | verification of hardware and software (ssn) |
progr. | верификация асинхронных программных систем | verification of asynchronous software systems (ssn) |
progr. | верификация байткода | bytecode verification (Alex_Odeychuk) |
med. | верификация блока проведения | conduction block verification (Primavera11) |
progr. | верификация в реальном времени | real-time verification (ssn) |
progr. | верификация в реальном масштабе времени | real-time verification (ssn) |
progr. | верификация в РМВ | real-time verification (ssn) |
progr. | верификация в соответствии с предыдущей стадией | verification with respect to the previous phase (ssn) |
progr. | верификация во время выполнения | run-time verification (Alex_Odeychuk) |
softw. | формальная верификация во время компиляции | compile-time verification (Alex_Odeychuk) |
IT | верификация временных диаграмм | timing verification |
tech. | верификация временных параметров | timing verification |
IT | верификация временных соотношений | timing verification (в логической схеме) |
tech. | верификация временных соотношений | timing verification |
telecom. | верификация говорящего | speaker verification (абонента) |
acoust. | верификация говорящего | speaker verification (проверка справедливости утверждений говорящего о том, что данная речевая запись принадлежит ему) |
ling. | верификация говорящего | speaker verification |
comp., net. | верификация голоса | voice verification |
med. | Верификация проверка данных | Verification of Data (Процедуры, направленные на выявление механических ошибок, возникающий при переносе данных Andy) |
tech. | верификация данных | data verification |
gen. | верификация данных | Verification of information (Dollie) |
med. | верификация диагноза | diagnosis verification (yanadya19) |
IT | верификация диагностических процедур | diagnostic verification |
prof.jarg. | верификация диктора | speaker verification (подлинности) |
robot. | верификация динамической модели | dynamic model verification |
progr. | верификация и аттестация | verification and validation (ПО ssn) |
energ.ind. | верификация и аттестация | verification & validation (MichaelBurov) |
energ.ind. | верификация и валидация | verification and validation |
energ.ind. | верификация и валидация | verification & validation (MichaelBurov) |
avia. | верификация и валидация | V and V (MichaelBurov) |
avia. | верификация и валидация | V&V (MichaelBurov) |
IT | V верификация и подтверждение правильности | V and |
comp., net. | верификация и подтверждение правильности | verification and validation |
comp., net. | верификация и подтверждение правильности | V and V |
IT | V верификация и проверка допустимости | V and |
comp., net. | верификация и проверка допустимости | V and V |
progr. | верификация и проверка правильности требований | verify and validate requirements (ssn) |
progr. | верификация и проверка правильности требований, а также функционирования решения | verify and validate requirements and solution performance (ssn) |
telecom. | верификация и синхронизация аварийных сигналов | alarm verification and synchronization (oleg.vigodsky) |
softw. | верификация и тестирование программного обеспечения | Software Verification and Testing (Litania) |
progr. | верификация и утверждение проекта | design verification and validation (ssn) |
sec.sys. | верификация идентичности | identity verification |
telecom. | верификация интерфейса | interface verification (oleg.vigodsky) |
microel. | верификация ИС на техническом уровне | circuit-level verification |
telecom. | верификация источника | source verification (oleg.vigodsky) |
clin.trial. | верификация исходной документации | source document verification (Rada0414) |
med. | Верификация исходных данных | Source Data Verification (ВИД; Сверка данных, содержащихся в ИРК, с записями в исходных документах (исходными данными) с целью убедиться в том, что между ними нет расхождений и ИРК точно отражают информацию в исходных документах. Проверка исходных данных проводится с целью убедиться, что пациент существует, участвовал в исследовании и что полученные данные достоверны. Andy) |
IT | верификация карт | card verifying |
sec.sys. | верификация ключа | key verification |
progr. | верификация кода | code verification (Alex_Odeychuk) |
energ.ind. | верификация кода | code audit |
progr. | верификация кода компилятором | code verification performed by the compiler (корпорации AdaCore Alex_Odeychuk) |
progr. | верификация комбинационных логических схем | verification of combinational logic (ssn) |
bus.styl. | верификация компьютерной системы | computer system verification (Iryna_mudra) |
railw. | верификация конструкции | structural verification (Кунделев) |
automat. | верификация конструкции зажимного приспособления | fixture design verification (ssn) |
progr. | верификация конфигураций устройства | verification of device configurations (ssn) |
progr. | верификация лица | face verification (ssn) |
inet. | верификация личности | verification (при создании учетной записи sankozh) |
telecom. | верификация маршрутов | route verification test (oleg.vigodsky) |
sec.sys. | верификация методом обратной передачи | looping verification |
progr. | верификация моделей | model checking (ssn) |
progr. | верификация моделей при помощи автоматов | model checking using automata (ssn) |
progr. | верификация модели | model checking (ssn) |
Makarov. | верификация модели | model verification |
manag. | верификация модели проекта | model verification (Dashout) |
progr. | верификация программ на моделях | model checking (формальный метод верификации программного обеспечения Alex_Odeychuk) |
progr. | верификация на основе утверждений | assertion-based verification (ssn) |
IT | верификация на уровне вентилей | gate-level verification |
microel. | верификация на электрическом уровне | electrical rule verification |
microel. | верификация на электрическом уровне | electrical rule check |
SAP.fin. | верификация оборота | accounting reconciliation |
SAP.fin. | верификация оборота | account reconciliation |
immunol. | верификация образца | authentication of sample |
progr. | верификация операционной системы | operating system verification (Microsoft Alex_Odeychuk) |
telecom. | верификация отказов | fault verification (oleg.vigodsky) |
progr. | верификация отпечатков пальцев | finger-print verification (ssn) |
telecom. | верификация ошибок | error verification (oleg.vigodsky) |
progr. | верификация параллельных систем | verification of concurrent systems (ssn) |
IT | верификация пароля | password verification |
Makarov. | верификация переменных параметров | timing verification |
progr. | верификация по данным типа "cookie" | cookie verification (ssn) |
sec.sys. | верификация по динамике воспроизведения подписи | dynamic signature verification |
IT | верификация по динамически формируемой парольной фразе | vocabulary-dependent verification (TatianaNefyodova) |
sec.sys. | верификация по звуковому сигналу | audio verification |
tech. | верификация по месту установки | in situ verification |
sec.sys. | верификация по отпечаткам пальцев | fingerprint verification |
progr. | верификация по отпечатку пальца | fingerprint verification (используется в биометрических системах контроля доступа ssn) |
IT | верификация по статической парольной фразе | fixed phrase verification (TatianaNefyodova) |
automat. | верификация по твёрдотельным моделям | solid-model verification (ssn) |
sec.sys. | верификация по узору сетчатки | retina pattern verification (глаз) |
sec.sys. | верификация подписи | signature verification |
sec.sys. | верификация полномочий на доступ | access verification |
inet. | верификация пользователя | user verification (sankozh) |
gen. | верификация пользователя по телефону через одноразовый пароль | flash call (Andy) |
progr. | верификация потоков данных | verification of data flows (корпорации AdaCore Alex_Odeychuk) |
progr. | верификация правильной конфигурации системы | verify the correct system configuration (ssn) |
progr. | верификация при помощи последовательности наращиваемых конфигураций системных элементов | verification against a sequence of progressively more complete system element configurations (ssn) |
O&G | верификация приемлемости | verification of eligibility (Александр Стерляжников) |
EU. | Верификация природоохранных технологий ЕС | EU ETV (European Union Environmental Technology Verification; Документ, разработанный Объединенным исследовательским центром ЕС, помогающий природоохранным технологиям выйти на рынок 25banderlog) |
math., IT | верификация программ | program verification |
progr. | верификация программного обеспечения | software verification (компании AdaCore, North American Office Alex_Odeychuk) |
progr. | верификация программного обеспечения системы | software verification (см. IEC 61508-7: 2010 ssn) |
progr. | верификация программных систем | software verification (Alex_Odeychuk) |
progr. | верификация программных средств | software verification (ssn) |
automat. | верификация программы | verifying the program |
tech. | верификация программы | program verification |
progr. | верификация проекта | design verification (ssn) |
microel. | верификация проекта ИС | design verification |
microel. | верификация проекта ИС на логическом уровне | logic verification |
microel. | верификация проекта ИС на соблюдение проектных норм | design rules verification |
pharm. | Верификация проектного поля | Design space verification (CRINKUM-CRANKUM) |
automat. | верификация процесса | process verification (технологического ssn) |
telecom. | верификация рабочих характеристик | performance verification (oleg.vigodsky) |
progr. | верификация радужной оболочки | iris verification (ssn) |
progr. | верификация распределённых систем | verifying distributed systems (ssn) |
comp. | верификация речевых сигналов | speech verification |
tech. | верификация речи | speech verification |
progr. | верификация с непрерывным временем | continuous-time model checking (моделей ssn) |
IT | верификация синхронизации | timing verification |
progr. | верификация систем непрерывного реального времени | verifying continuous real-time systems (ssn) |
progr. | верификация систем реального времени | verifying real-time systems (ssn) |
progr. | верификация систем реального времени | real-time system verification (ssn) |
progr. | верификация систем с конечным числом состояний | verification of finite-state systems (ssn) |
telecom. | верификация системы | system verification (oleg.vigodsky) |
progr. | верификация соблюдения стандарта оформления кода | code standard verification (корпорации AdaCore Alex_Odeychuk) |
progr. | верификация согласованности иерархии классов | verification of class hierarchy consistency (корпорации AdaCore Alex_Odeychuk) |
media. | верификация сообщений | message verification (проверка правильности приёма сообщения или его части путём сличения с эталонным сигналом) |
progr. | верификация состояния выхода | output verification (метод контроля состояния неисправности/ошибки, в котором выходы сравнивают с независимыми вводами. ГОСТ IEC 60730-1-2016 ssn) |
microel. | верификация теста | test verification |
energ.ind. | верификация технологий защиты окружающей среды | environmental technology verification (напр., в рамках Агентства по защите окружающей среды США) |
automat. | верификация технологического процесса | process verification (ssn) |
microel. | верификация топологии | layout verification |
progr. | верификация точно определённой конфигурации | precisely defined verification configuration (ssn) |
automat. | верификация ТП | process verification (ssn) |
energ.ind. | верификация тракта прохождения данных | data-path verification (напр., в системе сбора и обработки информации) |
progr. | верификация трактов прохождения данных | data-path verification (ssn) |
automat. | верификация УП | NC -code verification |
telecom. | верификация услуг | feature verification (oleg.vigodsky) |
comp. | верификация установки | installation verification (NickGuskov) |
progr. | верификация устройства управления | verifying a CPU controller (ssn) |
telecom. | верификация учётных записей | accounting verification (oleg.vigodsky) |
telecom. | верификация учётных записей | account verification (oleg.vigodsky) |
telecom. | верификация функций | function verification (oleg.vigodsky) |
progr. | верификация функциональной корректности | functional correctness verification (ssn) |
progr. | верификация функциональной эквивалентности | functional equivalence verification (ssn) |
progr. | верификация функциональных свойств программы | property verification (корпорации AdaCore Alex_Odeychuk) |
automat. | верификация цикла за циклом | sequence-by-sequence verification (при программировании) |
progr. | вероятностная верификация | probabilistic verification (ssn) |
softw. | виды деятельности по верификации программного обеспечения | sorts of verification activities (корпорации AdaCore Alex_Odeychuk) |
sec.sys. | визуальная верификация | visual verification |
progr. | внутрисистемная верификация | system-in verification (ssn) |
microel. | временная верификация | timing verification |
sec.sys. | время верификации | verification time (от момента предъявления идентификатора до его признания или непризнания) |
progr. | выполнение задач по аттестации и верификации | execute verification and validation tasks (ssn) |
softw. | выполнить автоматическую верификацию | provide automatic verification (программного обеспечения Alex_Odeychuk) |
progr. | выполнить статическую верификацию | statically verify (свойств режима выполнения кода; корпорации AdaCore Alex_Odeychuk) |
softw. | выполнить статическую и динамическую верификацию | employ static and dynamic verification (корпорации AdaCore Alex_Odeychuk) |
progr. | выполнять формальное доказательство корректности и верификацию кода | perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk) |
progr. | выполнять формальную верификацию программных модулей | perform modular formal verification (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
microel. | генератор условий верификации | verification condition generator |
media. | генератор условия верификации | verification condition generator (одна из двух частей системы автоматического обеспечения доказательства правильности программы) |
telecom. | генерация и верификация последовательности | sequence generation and verification (oleg.vigodsky) |
telecom. | генерация файла верификации | verification file generation (oleg.vigodsky) |
IT | генерирование условий верификации | verification condition generation (при доказательстве правильности программ) |
softw. | гибридная верификация | hybrid verification (formal verification combined with testing) |
psychol. | гипотеза и верификация | hypothesis and verification |
med. | гистологическая верификация | histological verification (DiBor) |
comp. | голосовая верификация | voice verification (stachel) |
tech. | график верификации внешней сейсмической активности | outlier seismic verification sheet |
automat. | графическая верификация | graphic verification (напр., УП ssn) |
automat. | графическая верификация процесса | graphical process verification (технологического ssn) |
automat. | графическая верификация технологического процесса | graphical process verification (ssn) |
automat. | графическая верификация ТП | graphical process verification (ssn) |
telecom. | группа верификации | verification group (oleg.vigodsky) |
sec.sys. | дактилоскопическая верификация | fingerprint verification |
telecom. | данные верификации | verification data (oleg.vigodsky) |
telecom. | данные о SS7-учёте / верификации | SS7 accounting/verification data |
telecom. | данные учёта и верификации | accounting and verification data (oleg.vigodsky) |
gen. | двухступенчатая верификация | two-step verification (ogogo2001) |
gen. | двухфакторная верификация | two-step verification (ogogo2001) |
progr. | дедуктивная верификация | deductive verification (Alex_Odeychuk) |
progr. | дедуктивная верификация программных систем | deductive software verification (Alex_Odeychuk) |
progr. | действия по верификации | verification activities (ssn) |
progr. | деятельность в процессе верификации | verification process activity (ssn) |
softw. | деятельность по верификации программного обеспечения | verification activities (корпорации AdaCore Alex_Odeychuk) |
progr. | деятельность по проектированию, разработке и верификации программного обеспечения | design, development and verification activities (корпорации AdaCore Alex_Odeychuk) |
progr. | динамическая верификация | dynamic verification (ssn) |
progr. | динамическая формальная верификация | dynamic formal verification (ssn) |
med. | договор о верификации первичной документации | Source Document Verification Agreement (Andy) |
progr. | документация по верификации и валидации | verification and validation documentation (ssn) |
sec.sys. | доступ на основе верификации голоса | voice verification access |
progr. | ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | 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) |
telecom. | журнал регистрации процесса верификации | verification log (oleg.vigodsky) |
progr. | задача верификации | verification task (ПО ssn) |
progr. | задача верификации моделей | model checking problem (ssn) |
progr. | задача верификации программного обеспечения | software verification task (ssn) |
progr. | задачи по аттестации и верификации | verification and validation tasks (ssn) |
microel. | задержка для верификации ИС с учётом разности импульсов | asymmetric delay |
telecom. | запись в журнале регистрации процесса верификации | verification log record (oleg.vigodsky) |
sec.sys. | зрительная верификация | visual verification |
fin. | идентификация, верификация и изучение клиентов | KYC (Alex_Odeychuk) |
energ.ind. | измерения / верификация | measurement/verification |
construct. | измерения и верификация-процесс числового определения энергосбережений в результате реализации программы ECM | Measurement and Verification (Energy Conservation Measure Millie) |
math. | инверсная верификация | inverse verification |
progr. | инженер-программист по верификации программного обеспечения | verification engineer (Alex_Odeychuk) |
softw. | инструмент автоматической верификации программного обеспечения | automated verification tool (Alex_Odeychuk) |
avia. | инструмент верификации | verification tool (MichaelBurov) |
progr. | инструмент верификации на моделях | model checker (Alex_Odeychuk) |
progr. | инструмент верификации соблюдения стандарта оформления кода | coding standard verification tool (корпорации AdaCore Alex_Odeychuk) |
sec.sys. | инструмент для автоматической верификации композиционных свойств информационных потоков | compositional security checker (Alex_Odeychuk) |
softw. | инструмент статической верификации | static verifier (Microsoft Alex_Odeychuk) |
softw. | инструмент формальной верификации | formal verification tool (adacore.com Alex_Odeychuk) |
progr. | инструмент формальной верификации кода | formal prover (Electronic Design Alex_Odeychuk) |
softw. | инструмент формальной верификации программ | tool for formal program verification (adacore.com Alex_Odeychuk) |
progr. | инструментальное средство автоматической верификации программ | automatic program verification tool (Microsoft Alex_Odeychuk) |
softw. | инструментальное средство верификации | verification tool (adacore.com Alex_Odeychuk) |
progr. | инструментальное средство верификации | verifier (Alex_Odeychuk) |
progr. | инструментальное средство верификации моделей | model verification tool (корпорации AdaCore Alex_Odeychuk) |
progr. | инструментальное средство верификации программ | program verification tool (Alex_Odeychuk) |
softw. | инструментальное средство верификации программного обеспечения | verification tool (adacore.com Alex_Odeychuk) |
progr. | инструментальное средство верификации программного обеспечения | tool for software verification (Alex_Odeychuk) |
progr. | инструментальное средство верификации соблюдения стандарта оформления кода | coding standard verification tool (Alex_Odeychuk) |
progr. | инструментальное средство для управляемой моделями разработки и верификации программного обеспечения | model-based development and verification tool (компании AdaCore Alex_Odeychuk) |
softw. | инструментальное средство статической верификации | static verifier (Microsoft Alex_Odeychuk) |
progr. | инструментальное средство статической верификации драйверов | static driver verifier (Microsoft Alex_Odeychuk) |
progr. | инструментальные средства разработки и верификации программного обеспечения | development and verification tools (компании AdaCore Alex_Odeychuk) |
progr. | инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности | development and verification tools for safety- and mission-critical systems (корпорации AdaCore Alex_Odeychuk) |
automat. | инструментарий верификации программы объёмной обработки | solids visual verification tool (ssn) |
automat. | инструментарий для верификации программы объёмной обработки | solids visual verification tool (ssn) |
progr. | Интеграция, верификация и валидация системы | System Integration, Verification, and Validation (ssn) |
softw. | интегрированный инструмент формальной верификации | formal methods toolsuite (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk) |
progr. | интерактивное инструментальное средство функциональной верификации | interactive functional verifier (Alex_Odeychuk) |
progr. | категория формальной верификации | category of formal verification (ssn) |
telecom. | класс верификации | verification class (oleg.vigodsky) |
telecom. | класс входящих учётных записей для верификации | verification termination account class (oleg.vigodsky) |
telecom. | класс учёта / верификации | accounting/verification class |
telecom. | класс учёта и верификации | accounting and verification class (oleg.vigodsky) |
telecom. | класс учёта или верификации | accounting or verification class (oleg.vigodsky) |
sec.sys. | ключ верификации | verification key |
tech. | комплексный план верификации | integrated verification plan |
progr. | комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения | model-based development and verification toolset (корпорации AdaCore Alex_Odeychuk) |
progr. | комплект инструментальных средств формальной верификации программного обеспечения | formal method verification toolset (Alex_Odeychuk) |
progr. | композиционная верификация | compositional verification (ssn) |
progr. | корректность верификации | correctness of verification (ssn) |
progr. | корректность верификации в соответствии с предыдущей стадией | correctness of verification with respect to the previous phase (ssn) |
math. | косвенная верификация | indirect verification |
construct. | коэффициент верификации | verification ratio |
sec.sys. | криптографическая верификация | cryptographic verification |
math. | логика верификации | logic of verification |
IT | машинная верификация | machine verification |
gen. | Международный протокол измерений и верификации эффекта от энергосбережения | IPMVP (Millie) |
gen. | международный протокол мониторинга и верификации экономии энергетических ресурсов | IPMVP (Millie) |
progr. | метод верификации | verification technique (ssn) |
progr. | метод верификации | verification method (ssn) |
progr. | метод верификации моделей | model checking technique (ssn) |
progr. | метод верификации тестов | test verification method (ssn) |
progr. | метод спецификации и верификации дискретных систем реального времени | method for specifying and verifying discrete real-time systems (ssn) |
progr. | метод формальной верификации | formal verification technique (ssn) |
progr. | метод формальной верификации | approach of formal verification (ssn) |
media. | методика верификации драйвера | driver verifier |
energ.ind. | методики верификации обеспечения качества | quality assurance verification procedures |
softw. | методология верификации | verification methodology (Microsoft Alex_Odeychuk) |
progr. | методы верификации | verification techniques (ssn) |
softw. | методы верификации | verification techniques (программных систем Alex_Odeychuk) |
progr. | методы верификации | verification methods (ssn) |
progr. | методы верификации, основанные на непрерывном времени | verification techniques based on continuous time (ssn) |
progr. | методы верификации ПО | software verification methods (ssn) |
progr. | методы верификации программного обеспечения | software verification methods (ssn) |
progr. | методы верификации систем непрерывного реального времени | methods for verifying continuous real-time systems (ssn) |
progr. | методы динамической верификации | dynamic verification methods (ssn) |
progr. | методы формальной верификации | formal-verification techniques (Alex_Odeychuk) |
progr. | методы формальной верификации | formal verification techniques (ssn) |
softw. | механизм формальной верификации | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
progr. | моделирование для верификации проектных решений | design verification simulation (ssn) |
progr. | модельно-ориентированный подход к разработке и верификации программного обеспечения | model-based development and verification (корпорации AdaCore Alex_Odeychuk) |
softw. | на основе методов формальной верификации программного обеспечения | based on formal methods (Alex_Odeychuk) |
progr. | набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения | verifier and prover toolchain (Alex_Odeychuk) |
softw. | набор инструментов верификации | set of verification tools (adacore.com Alex_Odeychuk) |
softw. | набор инструментов формальной верификации | formal verification toolset (adacore.com Alex_Odeychuk) |
progr. | Наиболее очевидный и традиционный метод верификации проекта-при помощи прототипа | the most obvious and traditional method of design verification is prototyping |
progr. | независимая верификация и аттестация | independent verification and validation (ssn) |
progr. | независимая верификация и проверка правильности | independent verification and validation (Nadezhda_1212) |
tech. | независимая верификация конструкции | independent construction verification |
tech. | независимая верификация проекта | independent design verification |
tech. | независимая верификация проекта и конструкции | independent design and construction verification |
tech. | независимая программа верификации корректирующего мероприятия | independent corrective action verification program |
pharm. | непрерывная постоянная верификация процесса | Ongoing process verification (документальное подтверждение того, что во время промышленного производства процесс находится в контролируемом состоянии CRINKUM-CRANKUM) |
pharma. | непрерывная верификация процесса | Continued Process Verification (meggi) |
pharm. | непрерывная верификация процесса | continuous process verification (CRINKUM-CRANKUM) |
softw. | обеспечить автоматическую верификацию | provide automatic verification (программного обеспечения Alex_Odeychuk) |
progr. | обзор методов верификации ПО | review of software verification methods (ssn) |
progr. | обзор методов верификации программного обеспечения | review of software verification methods (ssn) |
sec.sys. | образ человека в памяти устройства, используемый при идентификации или верификации | template |
el. | общая верификация | verification in general (ssn) |
automat. | объёмная верификация | solid verification (УП) |
progr. | ограничения, накладываемые на верификацию | verification constraints (ssn) |
tech. | окончательная верификация и аттестация | final verification and validation |
sec.sys. | операция верификации | verification operation |
qual.cont. | определение характеристик и верификация ультразвукового оборудования | characterization and verification of ultrasonic examination equipment (Soulbringer) |
progr. | особенности формальной верификации | different flavors of formal verification (ssn) |
progr. | осуществление процесса верификации | implementation of the verification process (ssn) |
ecol. | Отчёт о верификации | Verification Report (Один из элементов процесса выполнения ПСО или МЧР. Отчет готовится аккредитованным независимым органом или принимающей страной (на территории которой выполняется проект) и содержит в себе результаты проверки (верификации) данных мониторинга выбросов (отчёта о мониторинге). Отчет указывает на количество тонн С02-эквивалента, сокращённых в результате выполнения проекта в течение соответствующего периода времени. Отчет о верификации является основанием для выпуска ЕСВ или ССВ. Andy) |
media. | пакет программ для анализа и верификации протоколов | Protocol Analyser and Verifier |
el. | пакет программ для верификации | verification suite |
energ.ind. | периодическая верификация и сертификация | periodic verification and certification (напр., проекта) |
avia. | план верификации аппаратуры | Hardware Verification Plan (MichaelBurov) |
avia. | план верификации аппаратуры | HVP (MichaelBurov) |
progr. | план верификации инструментального средства | tool verification plan (корпорации AdaCore Alex_Odeychuk) |
pharm. | план непрерывной верификации процесса | continuous process verification scheme (CRINKUM-CRANKUM) |
energ.ind. | план проведения мониторинга и верификации | monitoring and verification plan (напр., проекта) |
progr. | планирование верификации и аттестации | verification and validation planning (ssn) |
softw. | платформа формальной верификации | formal verification framework (adacore.com Alex_Odeychuk) |
automat. | ПО для верификации и оптимизации | verification/optimization software (напр., УП ssn) |
progr. | повторная верификация | verification reuse (ssn) |
progr. | подвид формальной верификации | subclass of formal verification (ssn) |
progr. | подвид формальной верификации, называемый верификация модели | subclass of formal verification called model checking (ssn) |
progr. | поддержанная аппаратно система верификации | hardware assisted verification system (ssn) |
softw. | поддержка формальной верификации | formal verification support (Alex_Odeychuk) |
progr. | полнота верификации | completeness of verification (ssn) |
progr. | полнота верификации в соответствии с предыдущей стадией | completeness of verification with respect to the previous phase (ssn) |
progr. | полуавтоматическая формальная верификация программного обеспечения | semi-automated formal verification of software (Alex_Odeychuk) |
softw. | пошаговая разработка и верификация программного обеспечения | incremental development and verification process (разработка модели или прочих элементов системы в виде ряда законченных версий, каждая из которых выполнена на определенном уровне детализации и функциональности, причем таким образом, что каждая новая версия программного обеспечения содержит дополнения к предыдущей. Позволяет сравнительно легко выполнить модификацию, тестирование, отладку и формальную верификацию программного обеспечения (внеся небольшие изменения в предыдущую версию) Alex_Odeychuk) |
telecom. | правило верификации | verification rule (oleg.vigodsky) |
sec.sys. | прибор верификации | verifier device |
sec.sys. | прибор верификации | verification device |
progr. | применение методов формальной верификации программного обеспечения промышленного назначения | industrial use of formal methods (корпорации AdaCore Alex_Odeychuk) |
progr. | проблема верификации моделей | model checking problem (ssn) |
IT | проверка верификация программы | program verification |
IT | проверка правильности верификация программы | program verification |
tech. | программа верификации | verifier |
IT | программа верификации | verifier (контроля) |
comp. | программа верификации | assertion checker |
tech. | программа верификации естественной циркуляции | natural circulation verification program |
energ.ind. | программа верификации технологий защиты окружающей среды | environmental technology verification program (напр., в рамках Агентства по защите окружающей среды США) |
automat. | программа верификации УП | NC verification program |
tech. | программа независимой верификации проекта | independent design verification program |
energ.ind. | программа расчёта проектных основ и верификации | design baseline and verification program (напр., ядерного реактора) |
automat. | программное обеспечение для верификации УП | NC-verification software |
softw. | программное средство построения формальных моделей программ и верификации их функциональных свойств | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
progr. | проект верификации операционной системы | operating system verification project (Microsoft Alex_Odeychuk) |
microel. | проектирование от спецификации до электрической схемы с верификацией | front-end engineering |
gen. | произвести верификацию | verify (MichaelBurov) |
qual.cont. | производить верификацию | perform verification (Историк) |
gen. | производить верификацию | verify (MichaelBurov) |
ed. | пройти верификацию | be verified (Johnny Bravo) |
automat. | пространственная верификация | solid-model verification (ssn) |
med. | протокол верификации | verification protocol (Olga47) |
UN, clim. | протокол о мониторинге и верификации | monitoring and verification protocol |
sec.sys. | протокол проверки верификации | verification protocol |
telecom. | профиль верификации | verification profile (oleg.vigodsky) |
sec.sys. | процедура верификации | verification procedure |
progr. | процедуры, необходимые для верификации, тестирования и принятия окончательного программного продукта | procedures necessary to verify, test, and accept the finished software product (ssn) |
progr. | процесс верификации | verification process (определяет работы (заказчика, поставщика или независимой стороны) по верификации программных продуктов по мере реализации программного проекта (ISO/IEC 12207, ГОСТ Р ИСО/МЭК 12207-99) ssn) |
sec.sys. | процесс верификации | verification process |
progr. | процесс верификации безопасности приложений | application security verification process (ssn) |
progr. | процесс верификации программного обеспечения | software verification process (Alex_Odeychuk) |
progr. | процесс верификации программных средств | software verification process (ssn) |
math. | прямая верификация | direct verification |
softw. | разработка инструментов верификации | verification tool development (Alex_Odeychuk) |
comp., net. | режим верификации | verification mode |
progr. | результат успешного осуществления процесса верификации | result of the successful implementation of the verification process (ssn) |
progr. | результаты верификации | verification results (ssn) |
progr. | результаты процесса верификации | verification process outcomes (ssn) |
progr. | родственные методы верификации систем реального времени | related methods for verifying real-time systems (ssn) |
progr. | роль методов формальной верификации | role of formal verification techniques (ssn) |
progr. | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО | role of formal verification techniques in the context of software validation and testing (ssn) |
progr. | роль тестирования в верификации и валидации | role of testing in verification and validation (ssn) |
pharm. | Руководство по валидации и верификации | Validation and Verification Manual (Andy) |
softw. | с точки зрения динамической верификации | from a dynamic verification point of view (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore Alex_Odeychuk) |
softw. | с точки зрения статической верификации | from a static verification point of view (each type is associated with a representation and a semantic interpretation. Two types with similar representations but different semantics will still be considered different by the compiler. The developer is responsible for deciding where and how type conversion should be made; корпорации AdaCore Alex_Odeychuk) |
progr. | с формальной верификацией кода с помощью | with formal proof via (корпорации AdaCore Alex_Odeychuk) |
energ.ind. | сертифицированный специалист по измерениям и верификации | certified measurement and verification professional (энергоаудит Olga Korobenko) |
comp., net. | сетевая интеграция и верификация | network integration and verification (Alex_Odeychuk) |
progr. | символьная верификация моделей | symbolic model checking (ssn) |
progr. | символьная верификация моделей для LTL | LTL symbolic model checking (Linear Temporal Logic ssn) |
progr. | символьная верификация моделей для CTL | CTL symbolic model checking (Computation Tree Logic ssn) |
progr. | символьные методы верификации моделей | symbolic model-checking techniques (ssn) |
progr. | система верификации | verification system (ssn) |
Игорь Миг | система верификации | traceability system |
qual.cont. | Verification / Validation system система "верификации / аттестации" | V/V (программные средства определения годности каждого стандарта, принимаемого организацией CFI) |
Makarov. | система верификации диктора | speaker verification system |
media. | система верификации информации, сохраняемой на компакт-диске | electronic imaging |
IT | система верификации проектных решений | design-verification system |
UN | система измерения, верификации и отчётности | Monitoring, Reporting and Verification (Alexander Oshis) |
softw. | система формальной верификации программного обеспечения | formal proof engine (Electronic Design Alex_Odeychuk) |
softw. | система формальной верификации программного обеспечения | proof verification system (корпорации AdaCore Alex_Odeychuk) |
sec.sys. | сканер для верификации подписи | graphological scanner |
sec.sys. | сканер для верификации почерка | graphological scanner |
media. | служба верификации адресов | address verification service (сетевая служба, осуществляющая проверку прав пользователя при доступе в сеть с терминала с помощью кредитной карточки) |
progr. | составление плана аттестации и верификации | plan verification and validation (ПО ssn) |
el. | среда верификации | verification environment (ssn) |
progr. | среда верификации высоконадёжного программного обеспечения | verification environment for high-integrity software (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
el. | среда верификации и разработка тестов | verification environments and creating testbenches (ssn) |
progr. | среда верификации программного обеспечения с высоким уровнем полноты безопасности | verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
softw. | среда формальной верификации | verification environment (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) |
telecom. | средства верификации | verification facilities (oleg.vigodsky) |
telecom. | средство верификации | verification facility (oleg.vigodsky) |
microel. | средство верификации проекта БИС на функциональном уровне | operational development test facility |
progr. | средство символьной верификации моделей | symbolic model checker (Alex_Odeychuk) |
softw. | средство формальной верификации кода | formal proof engine (система построения строгого математического доказательства корректности программы по отношению к предъявляемым к ней требованиям; Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
progr. | статическая верификация | static verification (adacore.com Alex_Odeychuk) |
progr. | статическая верификация программ | static verification of programs (Microsoft Alex_Odeychuk) |
progr. | статическая дедуктивная верификация | static deductive verification (Alex_Odeychuk) |
progr. | статическая и динамическая верификация | static and dynamic verification (корпорации AdaCore Alex_Odeychuk) |
progr. | статическая и динамическая верификация программного обеспечения | static and dynamic verification (корпорации AdaCore Alex_Odeychuk) |
progr. | статическая формальная верификация | static formal verification (ssn) |
progr. | статический анализ и формальная верификация программного обеспечения | analysis and verification (Alex_Odeychuk) |
O&G, sakh. | степень верификации | verification grade (ISO) |
progr. | стоимость разработки и верификации программного обеспечения | development and verification cost (корпорации AdaCore Alex_Odeychuk) |
softw. | стратегия верификации | verification strategy (Alex_Odeychuk) |
energ.ind. | строительство, верификация, уведомление | construction, verification, notification (при сооружении ядерных объектов) |
data.prot. | схема разделённой верификации | shared verification scheme |
sec.sys. | таблица верификации | verification table |
pharm. | текущая верификация процесса | on-going process verification (CRINKUM-CRANKUM) |
progr. | термин формальная верификация | the term formal verification (ssn) |
softw. | тестирование и формальная верификация | model checking (testing and verification is also known as model checking Alex_Odeychuk) |
softw. | тестирование и формальная верификация | testing and verification (Alex_Odeychuk) |
softw. | технология формальной верификации | formal verification technology (adacore.com Alex_Odeychuk) |
softw. | технология формальной верификации | formal proof technology (Alex_Odeychuk) |
sec.sys. | точка верификации | verification pin |
telecom. | транслятор верификации | verification translator (oleg.vigodsky) |
progr. | трансляция и верификация байткода | byte-code translation and verification (Alex_Odeychuk) |
fin. | требования идентификации, верификации и изучения клиентов | KYC requirements (Alex_Odeychuk) |
telecom. | уведомление об учёте / верификации | accounting/verification notification |
progr. | удобство верификации программы | ease of program verification (ssn) |
telecom. | управление верификацией | verification control (oleg.vigodsky) |
IT | условие верификации | verification condition |
progr. | условия верификации | verification conditions (Alex_Odeychuk) |
progr. | успешное осуществление процесса верификации | successful implementation of the verification process (ssn) |
IT | устройство верификации | verifier |
sec.sys. | устройство верификации отпечатков пальцев | fingerprint verifier |
IT | устройство для верификации | verifying attachment |
telecom. | файл верификации | verification file (oleg.vigodsky) |
Gruzovik, IT | флаг верификации | verify flag |
IT | формальная верификация | formal verification |
progr. | формальная верификация кода | formal verification (Electronic Design Alex_Odeychuk) |
progr. | формальная верификация неявных вызовов | formal verification of implicit calls (adacore.com Alex_Odeychuk) |
progr. | формальная верификация программных модулей | modular formal verification (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
softw. | формальная верификация реализации на соответствие спецификации | formal verification of an implementation against a specification (adacore.com Alex_Odeychuk) |
IT | функциональная верификация | functional verification (с целью подтверждения выполнения исходного функционального назначения) |
telecom. | функция верификации | verification function (oleg.vigodsky) |
progr. | хэш-верификация | hash verification (ssn) |
progr. | целый ряд методов верификации | a lot of verification methods (ssn) |
el. | цель отчётной верификации | accountancy verification goal |
progr. | цель процесса верификации | purpose of the verification process (ssn) |
NATO | Центр верификации вооружённых сил | Verification Centre of the Armed Forces |
mil. | Центр верификации вооружённых сил | Verification Center of the Armed Forces |
telecom. | цикл верификации | verification cycle (oleg.vigodsky) |
tech. | цифровая верификация | digital verification (Gaist) |
IT | частичная верификация | partial verification |
chem. | эталон для верификации калибровки | CVS (Calibration Verification Standard eugeene1979) |
telecom. | этап верификации | verification phase (oleg.vigodsky) |
product. | этап верификации приостановленного производства | hold point (Vorbild) |
product. | этап верификации работающего производства | witness point (Vorbild) |
progr. | эти сведения используются NMT-мастером для верификации правильной конфигурации системы в течение каждого начального запуска системы | this information is used by the NMT-Master to verify the correct system configuration during each system boot-up |
progr. | этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней | 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 |
progr. | явная верификация в коде | explicit verification in the code (корпорации AdaCore Alex_Odeychuk) |
el. | язык верификации аппаратного обеспечения | hardware verification language (сокр. HVL ssn) |
progr. | язык программирования со встроенными средствами автоматической верификации программного обеспечения | verification aware programming language (Alex_Odeychuk) |
el. | языки верификации аппаратного обеспечения | hardware verification languages (ssn) |