The paper titled On Optimal Topology Verification and Failure Localization for Software Defined Networks by U. Kozat, G. Liang, K. Kokten, and J. Tapolcai, has been accepted for publication in  IEEE/ACM Transactions on Networking.