Verificação em máquinas Tridimensionais