Jack Vanlightly personal blog
Building a “Simple” Distributed System – Formal Verification
In the last post , we described a protocol that should satisfy the requirements and invariants established in the first post . Today we will look at formal verification with TLA+. Formal verification is just another (niche) tool in the toolbox. Some tools require more skill than others to use. So
- Points
- 151
- HN comments
- 9
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 29, 2019 | Building a “Simple” Distributed System – Formal Verification by pron | 151 | 9 |
