search

hwayne / awesome-cold-showers

For when people get too hyped up about things
Other
7.26k stars 82 forks source link

Review "An Empirical Study on the correctness of formally verified distributed systems" #6

Closed hwayne closed 6 years ago

hwayne commented 6 years ago

https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/

This is something I have domain knowledge in so can handle myself, mostly listing so I don't forget about it