Por otro lado, la verificación consiste en una serie de actividades que aseguran que el software implementa correctamente una función específica.