Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark | IEEE Journals & Magazine | IEEE Xplore