Verifica della topologia del modello