Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy. An Empirical Study on the Correctness of Formally Verified Distributed Systems. In Gustavo Alonso, Ricardo Bianchini, Marko Vukolic, editors, Proceedings of the Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, April 23-26, 2017. pages 328-343, ACM, 2017. [doi]
Abstract is missing.