Algunas características de las técnicas usadas en la verificación de programas son: