Analisi pushover. Calcolo non lineare per la verifica degli edifici esistenti e ottimizzazione dei nuovi