Marc Brooker personal blog
Formal Methods: Just Good Engineering Practice? (2024)
Earlier this week, I did the keynote at TLA+ conf 2024 ( watch the video or check out the slides ). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on…
- Points
- 211
- HN comments
- 133
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 10, 2025 | Formal Methods: Just Good Engineering Practice? (2024) by aiono | 211 | 133 |
