Automated Verification of the Parallel Bellman-Ford Algorithm.

Mohsen Safari, Wytse Oortwijn, Marieke Huisman

Browse the full SAS paper archive.