Verifica formale dell'FDIR nelle Smart Grid