VERIFYING NETWORK TOPOLOGY IN SOFTWARE DEFINED NETWORKS USING STEALTHY PROBING-BASED VERIFICATION (SPV)