NPV: Fast Network Policy Verification for Cloud-Native Networking. - Shunbin Dong; Yumin Xie; Jin Zhao; Kun Qiu (ICDCS, 2024)