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