Real-time verification of network properties using Atomic Predicates | IEEE Conference Publication | IEEE Xplore