Lecture 9: IronFleet I

Preparation

• Clone a copy of the IronFleet code base: git clone git@github.com:Microsoft/Ironclad.git.

• Read IronFleet: Proving Practical Distributed Systems Correct, SOSP 2015

• Complete the questions in the assignment.