Analisi Numeriche e Verifiche Sperimentali di Dispositivi a Memoria di Forma