Hillel Wayne personal blog
Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
- Points
- 125
- HN comments
- 40
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 25, 2020 | Finding Goroutine Bugs with TLA+ by headalgorithm | 125 | 40 |
