Marc Brooker personal blog
Formal methods: Just good engineering practice?
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
- 179
- HN comments
- 149
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 21, 2024 | Formal methods: Just good engineering practice? by ot | 179 | 149 |
