Validazione Formale di Meccanismi per la Tolleranza ai Guasti