Yicong Zhang, Jie Li 0002, Shigetomo Kimura, Wei Zhao 0001, Sajal K. Das 0001. Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark. IEEE Journal on Selected Areas in Communications, 38(7):1308-1321, 2020. [doi]
Abstract is missing.