A study on the correctness of formally verified distributed systems: https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ Great paper looking at bugs in verified systems