- verification condition
- верифицирующее условие (в технике доказательства правильности программ)
Большой англо-русский и русско-английский словарь. 2001.
verification condition
Смотреть что такое "verification condition" в других словарях:
verification principle — (or verifiability principle ) The principle central to logical positivism, according to which the meaning of a statement is its method of verification. Sentences apparently expressing propositions that admit of no verification (such as those of… … Philosophy dictionary
verification — An *examination of an activity or asset in order to obtain evidence of its existence, condition, or truth. Verification is an important *substantive test to obtain *audit evidence: Depending on the...circumstances, verification takes place… … Auditor's dictionary
Condition animale — Bien être animal Le bien être animal est une notion associée au point de vue selon lequel toute souffrance animale inutile devrait être évitée. Ce point de vue concerne les animaux domestiques , qu ils soient exploités comme source de nourriture … Wikipédia en Français
Gender verification in sports — (also sometimes loosely referred to as sex determination) is the issue of verifying the eligibility of an athlete to compete in a sporting event that is limited to a single gender. The issue arose a number of times in the Olympic games where it… … Wikipedia
Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific … Wikipedia
physical verification — The *examination of a *tangible asset in order to obtain evidence of its existence and condition. The term is often used synonymously with *physical inspection. See also Verification … Auditor's dictionary
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
условие верификации — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN verification condition … Справочник технического переводчика
условие проверки — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN verification condition … Справочник технического переводчика
THÉOLOGIE — Alain définissait la théologie «une philosophie sans recul». Il voulait dire qu’elle manque d’indépendance critique, qu’elle est liée à un système de croyances, à un dogme, qu’elle accepte une orthodoxie, une autorité, une censure: vérité… … Encyclopédie Universelle
Burglar alarm — Silent alarm redirects here. For the album, see Silent Alarm (album). Burglar (or intrusion), fire and safety alarms are all electronic today. Sensors are connected to a control unit via a low voltage hardwire or narrowband RF signal which is… … Wikipedia
