Very impressive use of formal methods for distributed systems:
A paper that has changed my world-view on what's practical/possible with formal verification of dist. systems: blog.acolyer.org/?p=1231
Oct 16, 2015 · 5:40 AM UTC
4
12