V verdi.uwplse.org Verdi – Formally Verifying Distributed Systems (2016) 166 points mindcrime 9 years ago 32 comments
