Why would it be different for Google or Microsoft projects? I think sidlls was talking about industries where lives are at stake, like aviation , where things

Why would it be different for Google or Microsoft projects? I think sidlls was talking about industries where lives are at stake, like aviation , where things move slowely and follow a strict QA process. There you have formally verified systems and the like, but you also have to make tradeoffs like working with a limited subset of C because that is formally verifiable.