Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.

Assignment

Read the paper An Empirical Study on the Correctness of Formally Verified Distributed Systems by Fonseca et al.

Why are we reading this paper?

What to learn from this paper?

Answer this question

The lab infrastructure has a shim layer to read and write disk blocks. Could a bug like V3, which is described in Section 4.2 ("Disk Operations"), affect the correctness of your lab 4 solution?