Adrian Colyer (The Morning Paper) personal blog
An empirical study on the correctness of formally verified distributed systems
An empirical study on the correctness of formally verified distributed systems Fonseca et al., EuroSys’17 “Is your distributed system bug free?” “I formally verified it!R…
- Points
- 105
- HN comments
- 16
- Submissions
- 1
- Cited by
- 4 commenters
Systems & PerformanceSoftware Engineering2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 29, 2017 | An empirical study on the correctness of formally verified distributed systems by mpweiher | 105 | 16 |
Cited in comments
Linked from 4 Hacker News comments by 4 different people, from Jul 2017 to Jan 2019.
Most recent:
- eirikma · Jan 22, 2019
- AnimalMuppet · Jul 25, 2018
- godelmachine · Dec 24, 2017
- nickpsecurity · Jul 9, 2017
