Ron Pressler personal blog
Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
- Points
- 121
- HN comments
- 23
- Submissions
- 1
- Cited by
- 3 commenters
Software EngineeringMath & Algorithms2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 28, 2017 | Principles of TLA+ by pramodbiligiri | 121 | 23 |
Cited in comments
Linked from 4 Hacker News comments by 3 different people, from Jun 2017 to Jan 2025.
Most recent:
