Several works address the problem of safely updating Software-Defined Networks (SDN) [24, 31, 32] from one forwarding state toanother.