verification condition
1verification 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… …
2verification — 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… …
3Condition 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 …
4Gender 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… …
5Open 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 …
6physical 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 …
7SPARK (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… …
8условие верификации — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN verification condition …
9условие проверки — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN verification condition …
10THÉ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é… …
