> Also, engineers working on medical devices, avionics, robotics, finance, etc. probably get to prove the correctness of their code.

Some might, but the relevant ISO standards are ok with testing if you reach sufficient coverage, so generally testing is all that's happening.