When will libc and libc++ be formally proven?

Never, that's when. You couldn't prove a Hello World in such vague, shitty languages. Why do we tolerate C (and what people call C even though it's not C++, just because it doesn't use classes) to program critical systems again?

Well what should we use instead? Java? .NET? I want to use something that's actually popular so other people may help me with the project, and fuck FIOC.