Progettare e verificare  l