News for hackers. Stuff that matters.

A comment on The Power of 10: Rules for Developing Safety-Critical Code [pdf].

Re:The Power of 10: Rules for Developing Safety-Critical Cod... by fallingmeat on Wednesday June 28, 2023 @02:25PM (#36510494)
Fun fact: the author of these rules (Gerard Holzmann) is also the inventor of the Spin model checker (spinroot.com)!
[ Parent | on HN ]

There are no comments on this comment yet.