Una nuova formulazione del problema di verifica di sistemi di distribuzione di fluidi in pressione