Lecture: Distributed Systems: Verdi

Date: 4/17/17

Reading

• Required reading: Verdi: A Framework for Implementing and Formally Verifying Distributed Systems, James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas Anderson, PLDI, 2015.
• Optional reading: Planning for Change in a Formal Verification of the Raft Consensus Protocol, Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, and Thomas Anderson, ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), 2016.