Malte Skarupke personal blog
Using TLA+ in the Real World to Understand a Glibc Bug
TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs…
- Points
- 166
- HN comments
- 76
- Submissions
- 1
- Cited by
- 3 commenters
Software EngineeringSystems & Performance2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 1, 2020 | Using TLA+ in the Real World to Understand a Glibc Bug by ingve | 166 | 76 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Dec 2020 to Jul 2024.
Most recent:
- charleslmunger · Jul 15, 2024
- mratsim · Mar 8, 2021
- wallstprog · Dec 15, 2020
