Data validation

This is distinct from formal verification, which attempts to prove or disprove the correctness of algorithms for implementing a specification or property.

Data validation rules can be defined and designed using various methodologies, and be deployed in various contexts.

Code and cross-reference validation includes operations to verify that data is consistent with one or more possibly-external rules, requirements, or collections relevant to a particular organization, context or set of underlying assumptions.

These additional validity constraints may involve cross-referencing supplied data with a known look-up table or directory information service such as LDAP.

For example, a user-provided country code might be required to identify a current geopolitical region.