Automated Verification of the Parallel Bellman–Ford Algorithm