An Empirical Study on the Correctness of Formally Verified Distributed Systems.

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

Browse the full EuroSys paper archive.