IK4-TEKNIKER: Tecnología para la verificación automática de máquina herramienta