Verification Article Index for
Verification
Articles about
Verification
Website Links For
Verification
 

Information About

Verification




The word verification can refer to:



IN COMPUTING


  • --- Formal Verification Formal mathematical proof of the correctness of algorithms

  • --- Functional Verification All forms of verification that an algorithm implements the specified functions

  • --- Runtime Verification A form of formal verification during execution

  • --- Software Verification ''An overview of techniques for verifying software''

  • In circuit development:

  • --- Physical Verification Verification of the design of a circuit

  • In systems engineering:

  • --- Testing to confirm that the system, subsystem or component meets documented requirements or specifications levied on the design.