On Efficient Framework for Data-plane Verification with Geometric Windowing Queries