verification


Also found in: Dictionary, Thesaurus, Medical, Legal, Financial, Acronyms, Wikipedia.
Related to verification: Verification and Validation

verification

[‚ver·ə·fə′kā·shən]
(computer science)
The process of checking the results of one data transcription against the results of another data transcription; both transcriptions usually involve manual operations.

verification

any procedure regarded as establishing the TRUTH of a proposition or hypothesis.

Verification

 

an empirical confirmation of a theoretical scientific proposition, by a “return” to the visual level of cognition, whereby the ideal level of abstractions is ignored and the abstractions are identified with observable objects. For example, ideal geometrical objects such as points and straight lines are identified with their sensible forms. Generally, verification is the construction of a visual model for any given theory.

The idea of verification developed gradually as the role of logical deduction in the elaboration of scientific notions grew stronger. The recognition, particularly in mathematics and theoretical physics, of the possibility of a discrepancy between logical (abstract) thought and intuitive thought related to observability (for example, the discovery of continuous functions that have no derivative functions) gave rise to the need to substantiate the relation between abstraction and reality. A well-known expression of this need and at the same time of the position of empirical philosophy was the demand already made by Kant for the “observable exclusion” of any abstraction: “It is imperative to make any abstract conception sensory (Sinnlich), that is, to show the object corresponding to it in contemplation, since without this a conception (as it is said) would have no sense (ohne Sinn), that is to say, it would be devoid of meaning” (Works, vol. 3, Moscow, 1964, p. 302). In the neopositivist philosophy, this demand has acquired the status of a methodological principle—the principle of verifiability through experience, or the verification principle. To a certain extent it is analogous to the demand for the practical applicability of abstractions, through the removal of abstractions and their replacement by the “concrete” objects from which they are (can be) abstracted. However, as not every applicable abstraction can be verified, that is, excluded by the “visual” method (for not every reality expressed by an abstraction is observable), the criterion of verification is not identical with the criterion of practice.

REFERENCES

Wittgenstein, L. Logiko-filosofskii traktat. Moscow, 1958. (Translated from German.)
Narskii, I. S. Sovremennyi pozitivism: Kriticheski ocherk. Moscow, 1961.
Ianovskaia, S. A. “Problemy v vedeniia i iskliucheniia abstraktsii bolee vysokikh (chem pervyi) poriadkov.” In The Foundation of Statements and Decisions: Proceedings of the International Colloquium on Methodology of Sciences, Held in Warsaw 18-23 September, 1961. Warsaw, 1965.
Nevanlinna, R. Prostranstvo vremia i otnositel’nost’. Moscow, 1966. (Translated from German.)
Schlick, M. “Meaning and Verification.” Philosophical Review, 1936, vol. 45, no. 4.
Carnap, R. “Testability and Meaning.” Philosophy of Science, 1936, vol. 3, no. 4; vol. 4, no. 1.

M. M. NOVOSELOV

verification

The process of determining whether or not the products of a given phase in the life-cycle fulfil a set of established requirements.
References in periodicals archive ?
Multiple verifies checking the data integrity can greatly improve the efficiency and reliability of the verification. However, each verifier's verification operation time and computation capacity are different.
OKI Network LSI is a company with a focus on offering design and verification services for SoC projects, providing IP cores and advanced verification solutions.
2.2.1 Separating the Verification Environment from Test Base
* Create a computer data base for tracking verifications. We told you how to do that on Page 18-19 in PS 590 (Jul 02).
It provides a set of design and verification requirements, in template format, for developing a program-unique performance specification.
Verifying sales of the same products with similar scripting for the same clients, Free Speech TPV generated from one percent to three percent higher verification rates on average.
"ATI serves as an example of how design teams can take advantage of the high-performance capabilities that our Palladium accelerator/emulator offers, including remote access capability," said Christopher Tice, senior vice president and general manager, Verification Acceleration, Cadence.
COLA took the stance that the requirement for calibration verification applied to both moderately and highly complex quantitative tests.
The Incisive platform provides native support for Verilog, VHDL, SystemC, the SystemC Verification Library, property specification language PSL/Sugar, algorithm development and Analog/Mixed Signal (AMS).
SAN JOSE -- Cadence Design Systems has launched what it claims is the first single-kernel verification platform for nanometer-scale designs that supports a unified methodology for embedded software, control, data path, and analog/mixed-signal/RF design domains.
Trust, but verify: Ronald Reagan's philosophical mantra during arms treaty negotiations with the Soviets in the 1980s was based on the premise that when it comes to human nature, without verification, trust eventually is eroded.
Tenders are invited for Reference Verification Consultants

Full browser ?