Validazione del software NDA Professional per la compensazione di reti di stazioni permanenti GNSS