An empirical study on the correctness of formally verified distributed systems

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the Twelfth European Conference on Computer Systems
EuroSys '17
Belgrade, Serbia
ACM
New York, NY, USA
Pages 328-343
2017