Except even NASA projects written to those standards had and have bugs still.

Apply Mission Critical/Life or Death practices to software can reduce the amount of bugs, but it doesn't take much searching to find medical software and other space software that has shipped with bugs, some with dire consequences.

I don't think the consumer software industry is prepared to take on those costs to still end up with bugs anyway.