An Empirical Study on the Correctness of Formally Verified Distributed Systems
Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy · 2017
Recent advances in formal verification techniques enabled the implementation of distributed systems with machine-checked proofs. While results are encouraging, the importance of distributed systems warrants a large scale evaluation of the results and verification practices.