Sure, never indicated otherwise I hope! But that said, the style of analysis is totally different in each case. It's not true that you can never prove correctn

Sure, never indicated otherwise I hope! But that said, the style of analysis is totally different in each case. It's not true that you can never prove correctness. It's just a certain option with certain tradeoffs. And there are success stories! Tons of older ones back when proof was a major component of compute programming. More modern ones like validated C kernels and compilers.