11. Verified Primary-Backup

Notes: https://pdos.csail.mit.edu/6.824/notes/l-grove.txt

Video: None

Prep:

• https://pdos.csail.mit.edu/6.824/papers/grove.pdf

  Grove- a Separation-Logic Library for Verifying Distributed Systems

---

[no video lecture]