Gerard Holzmann personal blog
Rules for Writing Safety Critical Code (2006)
Ten rules for writing safety critical code, to facilitate analysis and increase software reliability
- Points
- 166
- HN comments
- 128
- Submissions
- 2
- Cited by
- 3 commenters
Software EngineeringSecurity & Privacy2016
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 4, 2016 | Rules for Writing Safety Critical Code (2006) by mpweiher | 166 | 81 |
| Jun 2, 2015 | Rules for Writing Safety Critical Code by plumeria | 61 | 47 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Jan 2015 to Jan 2016.
Most recent:
- DonaldFisk · Jan 13, 2016
- seren · Jul 9, 2015
- atsaloli · Jan 16, 2015
