If it was DO-178B/C Level A, then yeah, they'd have to inspect the machine code.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tjr on June 1, 2015 | parent | context | favorite | on: How Is Critical Life or Death Software Tested?

If it was DO-178B/C Level A, then yeah, they'd have to inspect the machine code. Regardless of trusting the compiler.

And the compiler would have to be inspected too.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact