Empirical Study of Correctness of Formally-Verified, Distributed Systems [pdf]locore.cs.washington.edu2 pointsnickpsecurity9 years ago