FORMAL VERIFICATION

Англо-русский перевод FORMAL VERIFICATION

формальная верификация (формальное доказательство соответствия программы ее спецификации)

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации )
Англо-Русский словарь по компьютерам
FORMAL VERIFICATION — формальная (математическая) верификация
Англо-Русский словарь компьютерной безопасности
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Новый большой Англо-Русский словарь
VERIFICATION — n verification
Interlingua English vocab
FORMAL — adj formal
Interlingua English vocab
VERIFICATION — noun Date: 1523 the act or process of verifying ; the state of being verified
Толковый словарь английского языка - Merriam Webster
FORMAL
Webster's New International English Dictionary
VERIFICATION — ˌverəfə̇ˈkāshən noun ( -s ) Etymology: Middle French, from Medieval Latin verification-, verificatio, from verificatus (past participle of verificare to …
Webster's New International English Dictionary
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged English Dictionary
VERIFICATION — — verificative, verificatory , adj. /ver'euh fi kay"sheuhn/ , n. 1. the act of verifying. 2. the state of being …
Random House Webster's Unabridged English Dictionary
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
Random House Webster's Unabridged English Dictionary
VERIFICATION — n. confirmation, substantiation, proof
Толковый словарь английского языка - Редакция bed
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
Merriam-Webster's Collegiate English vocabulary
VERIFICATION — noun Date: 1523 : the act or process of verifying : the state of being verified
Merriam-Webster's Collegiate English vocabulary
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
Webster English vocab
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
Merriam-Webster English vocab
VERIFICATION — verification BrE AmE ˌver ɪf ɪ ˈkeɪʃ ə n ˌ•əf-, § \ -əˈ•- ▷ verification|s z
Longman Pronunciation English Dictionary
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
Oxford Advanced Learner's English Dictionary
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
VERIFICATION — [noun] [U]The report was forwarded to a committee for independent verification.After following various verification procedures, he declared the manuscript to …
Cambridge English vocab
VERIFICATION — noun ADJECTIVE ▪ empirical , experimental , scientific ▪ independent ▪ additional , further ▪ credit-card , ID , identity …
Oxford Collocations English Dictionary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer English Dictionary
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
VERIFICATION — verification.ogg ͵verıfıʹkeıʃ(ə)n n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - …
Большой Англо-Русский политехнический словарь
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - design verification - exceptional verification - forecast verification - internal …
Большой Англо-Русский политехнический словарь - РУССО
VERIFICATION — 1) верификационный 2) верификация 3) поверка 4) проверка 5) проверок • - direct verification - empirical verification - experimental verification - indirect verification - inverse verification - logic of verification - method …
Англо-Русский научно-технический словарь
FORMAL — formal прил.1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) матем., логика строгий, формальный (о максимально точном и выразительном …
Англо-Русский словарь Tiger
VERIFICATION — n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification - национальные …
Большой новый Англо-Русский словарь
FORMAL — 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних туалетах …
Большой новый Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check , examination 2) а) удостоверение, подтверждение ( …
Англо-Русский словарь по общей лексике
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check, examination 2) а) удостоверение, подтверждение (предсказания, сомнения) б) юр. подтверждение под присягой 3) юр. засвидетельствование 4) …
Англо-Русский словарь общей лексики
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности ( программы ) • verification by sampling — выборочная поверка, выборочная проверка …
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности (программы) • verification by sampling — выборочная поверка, выборочная проверка verification in-process — контроль в процессе …
Англо-Русский словарь по машиностроению и автоматизации производства
FORMAL — _a. 1> официальный; formal permission - официальное разрешение - formal call 2> формальный; номинальный - formal acquiescence 3> относящийся к …
Англо-Русский словарь Мюллера - 24 редакция
FORMAL — a. 1. официальный; formal permission - официальное разрешение - formal call 2. формальный; номинальный - formal acquiescence 3. относящийся к …
Англо-Русский словарь Мюллера - редакция bed
VERIFICATION — контроль; проверка; верификация; проверка полномочий (напр., доступа к данным ) - data verification - design verification - diagnostic verification - …
Англо-Русский словарь по компьютерам
VERIFICATION — 1) проверка, контроль, исследование 2) поверка (измерительного инструмента) 3) калибровка, градуировка, тарирование, эталонирование • - design verification - visual verification
Англо-Русский словарь по строительству и новым строительным технологиям
VERIFICATION — контроль; проверка; поверка; верификация verification after repair — проверка, проводимая после ремонта - failure verification - fault verification - maintainability verification - malfunction verification - performance …
Большой Англо-Русский словарь по нефти и газу
VERIFICATION — сущ. 1) проверка, контроль 2) исследование 3) подтверждение, установление подлинности 4) засвидетельствование 5) проверка правильности регистрации (при переписи) - physical verification - verification algorithm - verification of employment - …
Англо-Русский словарь по экономике
FORMAL — прил. официальный - formal approach - formal authority - formal bid - formal framework - formal organization - formal relationship
Англо-Русский словарь по экономике
VERIFICATION — контроль; проверка; верификация; проверка полномочий (напр., доступа к данным) - bit-level verification - data verification - data-path verification - design verification - diagnostic verification - fault …
Англо-Русский словарь по вычислительной технике и программированию
FORMAL — _a. 1> официальный; formal call официальный визит; formal permission официальное разрешение 2> формальный; номинальный; formal acquiescence формальное согласие 3> относящийся …
Англо-Русский словарь Мюллера
VERIFICATION — контроль; проверка; верификация; проверка полномочий ( напр., доступа к данным ) - data verification - design verification - diagnostic verification …
Англо-Русский словарь компьютерных терминов
VERIFICATION — 1) контроль; проверка; установление подлинности; удостоверение, подтверждение 2) проверка правильности регистрации (при переписи) - verification of forecast - verification of …
Англо-Русский словарь по экономике и финансам
VERIFICATION — контроль; проверка - busy verification - mandatory verification - speaker verification
Англо-Русский словарь по телекоммуникациям
VERIFICATION — 1) проверка; сверка 2) удостоверение; подтверждение; подтверждение под присягой 3) заверка; засвидетельствование • - verification of powers
Англо-Русский юридический словарь
VERIFICATION — выверка, проверка - verification and validation - experimental verification
Англо-Русский словарь по полиграфии и издательскому делу
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию

Англо-Русский словарь по вычислительной технике и программированию

← FORMAL THEORY OF TESTING FORMALISM→