In the cases of those I'm familiar with, most code in the system does not need to be bug-free for safety, and the code that does is kept simple and heavily reviewed at the binary level.

For most contacts, it is not financially feasible to use the techniques developed for safety-critical software.