Lawrence C. Paulson personal blog
Verifying distributed systems with Isabelle/HOL
We use distributed systems every day in the form of internet services. These systems are very useful, but also challenging to implement because networks are unpredictable. Whenever you send a message over the network, it is likely to arrive quite quickly, but it’s possible that it might be delayed for a long time, or…
- Points
- 163
- HN comments
- 18
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSoftware Engineering2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 12, 2022 | Verifying distributed systems with Isabelle/HOL by eatonphil | 163 | 18 |
