4 ms·An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf]3 points by boffinism 9y ago