Gửi tin nhắn: On Optimal Topology Verification and Failure Localization for Software Defined Networks