1. In information assurance, comparing an activity, a process, or a product with the corresponding requirements or specifications. Note: Examples of verification are comparing a specification with a security policy model or comparing object code with source code. 2. The process of comparing two levels of an information system (IS) specification for proper correspondence (e. G. , security policy model with top-level specification, top-level specification with source code, or source code with object code. ) 3. The checking of conformance between two representations of a system or part of a system. 4. The process of comparing two levels of system specification for proper correspondence (e. G. , security policy model with top-level specification, TLS with source code, or source code with object code. )This process may or may not be automated.