Lecture 11: Verdi

Preparation

Grab a copy of Verdi’s code and proof:

git clone https://github.com/uwplse/verdi.git

Read the following papers:

• Verdi: A Framework for Implementing and Formally Verifying Distributed Systems, PLDI 2015; and
• Planning for Change in a Formal Verification of the Raft Consensus Protocol, CPP 2016.