News for hackers. Stuff that matters.

A comment on Software Engineering Within SpaceX. Parent comment

Re:Software Engineering Within SpaceX by trasz on Wednesday June 03, 2020 @04:22PM (#23408168)
There are also software verification tools that use binaries instead. That's how seL4 gets verified. This way you're safe from compiler bugs.
[ Parent | on HN ]

There are no comments on this comment yet.