On Optimal Topology Veriﬁcation and Failure Localization for Software Deﬁned Networks - Kozat,Ulaş C.