Policy-based verification method for configurations of large network with header-space analyses | IEEE Conference Publication | IEEE Xplore