Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf]locore.cs.washington.edu2 pointsblopeur9 years ago