An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf]homes.cs.washington.edu3 pointsboffinism8 years ago