Distributed Safety Verification Using Vertex Centric Programming Model | IEEE Conference Publication | IEEE Xplore