Verificación formal de FDIR en redes inteligentes