Skip to content

Blogs / Personal blogs

Gerard Holzmann

Popular posts: 1
Total points: 166
HN comments: 128
Rank: #14,727 personal

Visit spinroot.com → On Hacker News Nov 2016 – Nov 2016

Security & Privacy 1 Software Engineering 1

Most points Most discussed Most cited Newest

1

Rules for Writing Safety Critical Code (2006)

2016166 points128 commentscited by 3Software Engineering details

Ten rules for writing safety critical code, to facilitate analysis and increase software reliability