Verification

Slides and stuff

• Slides on the algorithm, the slides came from this set and are taken from Distributed Computing, Principles algorithms and systems by Kshemkalyani and Singhal.
• Specification of the report and the project.
• Link to Bengt's webpage.