Verifica del progetto di massima di una product carrier