<verificación> Método de verificación que utiliza técnicas y herramientas para confirmar que se han cumplido los requisitos de verificación.

NOTA 1: Ejemplos de técnicas y herramientas son modelos matemáticos, evaluaciones de similitud de compilación y validación de registros.
NOTA 2: Adaptado de ISO 10795: 2011.