Verification or verify may refer to:
General
*
Verification and validation
Verification and validation (also abbreviated as V&V) are independent procedures that are used together for checking that a product, service, or system meets requirements and specification (technical standard), specifications and that it fulf ...
, in engineering or quality management systems, is the act of reviewing, inspecting or testing, in order to establish and document that a product, service or system meets regulatory or technical standards
**
Verification (spaceflight), in the space systems engineering area, covers the processes of qualification and acceptance
*
Verification theory
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is meaningful only if it is either empirically verifiable (can be confirmed through the ...
, philosophical theory relating the meaning of a statement to how it is verified
*
Third-party verification, use of an independent organization to verify the identity of a customer
*
Authentication
Authentication (from ''authentikos'', "real, genuine", from αὐθέντης ''authentes'', "author") is the act of proving an Logical assertion, assertion, such as the Digital identity, identity of a computer system user. In contrast with iden ...
, confirming the truth of an attribute claimed by an entity, such as an identity
*
Forecast verification, verifying prognostic output from a numerical model
*
Verifiability (science)
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is meaningful only if it is either empirically verifiable (can be confirmed through the ...
, a scientific principle
*
Verification (audit), an auditing process
Computing
* Punched card verification, a data entry step performed after keypunching on a separate, keyboard-equipped machine, such as the
IBM 056 Verifier
*
Verification and validation (software)
In software project management, software testing, and software engineering, verification and validation is the process of checking that a software engineer system meets specifications and requirements so that it fulfills its intended purpose. It ...
*
Account verification, verifying that an account is owned by a real person or organization
Applications
*
CAPTCHA
Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) ( ) is a type of challenge–response authentication, challenge–response turing test used in computing to determine whether the user is human in order to de ...
, device to verify that a user of a website is human, to prevent automated abuse
*
File verification, checking the formal correctness or integrity of a file
*
Speech verification, checking of the correct speaking of given sentences
*
VERIFY (DOS command)
This article lists notable command (computing), commands provided by the MS-DOS disk operating system (DOS), especially as used on an IBM PC compatible computer. Other DOS variants as well as the legacy Windows shell (computing), shell, Command Pr ...
*
GOV.UK Verify, identity assurance system in the United Kingdom
Software development
*
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics.
Formal ver ...
, mathematical proof of the correctness of algorithms
*
Intelligent verification, automatically adapts the testbench to changes in RTL
*
Runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very p ...
, during execution
*
Software verification Software verification is a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements.
Broad scope and classification
A broad definition of verif ...
, an overview of techniques for verifying software
Circuit development
*
Hardware verification
Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing Electronics, electronic systems such as integrated circuits and printed circuit boards. The tools wo ...
*
Functional verification
Functional verification is the task of verifying that the digital circuit, logic design conforms to specification. Functional verification attempts to answer the question "Does this proposed design do what is intended?" This is complex and takes ...
of design of digital hardware
*
Analog verification, applies to analog or mixed-signal hardware
*
Physical verification, design of a circuit
See also
*
Validation (disambiguation)
*
Verifiable computing
*
Verification bias, a type of measurement bias
*
Verified, a UN program against COVID-19-related misinformation
*
Verifier (disambiguation)
*
Measurement and verification
{{Disambiguation