Hillel Wayne personal blog
TLA+ Action Properties
There’s not a whole lot on TLA+ technique out there: all the resources are either introductions or case studies. Good for people starting out, bad for people past that. I think we need to write more intermediate-level stuff, what Ben Kuhn calls Blub studies. Here’s an attempt at that. Most TLA+ properties are…
- Points
- 109
- HN comments
- 36
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 31, 2021 | TLA+ Action Properties by ingve | 109 | 36 |
