Hillel Wayne personal blog
Learn TLA+
tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found it so useful I wrote a free online guide to help others learn it. Then I decided the guide wasn’t good enough and wrote Practical TLA+ in 2018. Then I decided the…
- Points
- 350
- HN comments
- 74
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringTools & Productivity2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 1, 2022 | Learn TLA+ by MindGods | 350 | 74 |
