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