> And for code specifically, we've had deterministic ways of doing that for 20 years or so.

And those ways all suck!

It's extremely difficult to verify your way to high quality code. At lower amounts of verification it's not good enough. At higher amounts the verification takes so much longer than writing the code that you'll probably get better results cutting off part of the verification time and using it to write the code you're now an expert on.