Well, C actually does have very good verification tools, so if they are used it could be a reasonable choice.

The problem is that commercial SW development is incompatible with the use of such tools or the associated safety-critical processes. The extra time, process, competences would make a company much slower than the typical bullshit move fast and break things start-up.