Supporti per la robustezza dei programmi