verifica del binario