The Power of Ten: Rules for Safety Critical Coding by Gerard Holzmann

C for Rust programmers

“I saw this talk yesterday, "The Power of Ten: Rules for Safety Critical Coding by Gerard Holzmann" https://youtu.be/GRJtYwneG2Q?is=M0z7hnpQ78C8fLLP At a moment he mentions a trick he played on JPL fol…”— pjmlp, when sharing this video · read the comment ↗