A framework for formally verifying distributed systems implementations in Coq - uwplse/verdi