Hillel Wayne personal blog
The Business Case for Formal Methods
This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs. Quick…
- Points
- 115
- HN comments
- 65
- Submissions
- 1
- Cited by
- 0 commenters
Tech Industry & BusinessSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 13, 2020 | The Business Case for Formal Methods by whack | 115 | 65 |
