A Verification Platform for SDN-Enabled Applications | IEEE Conference Publication | IEEE Xplore