The paper Automated Verification of the Parallel Bellman–Ford Algorithm by M. Safari, W. Oortwijn and M. Huisman, has been accepted at the 28th Static Analysis Symposium.