A Geometric Windowing Algorithm in Network Data-Plane Verification | IEEE Conference Publication | IEEE Xplore