Verifying Rule Enforcement in Software Defined Networks With REV. - Peng Zhang 011; Hui Wu 003; Dan Zhang 022; Qi Li 002 (IEEE/ACM Trans. Netw., 2020)