Una formulazione FEM per la verifica a shakedown