Few generated unit tests doesn't replace formal verification. That's just not the same thing at all, it's not a matter of manual vs automated calculator.
timschmidt
> Few generated unit tests doesn't replace formal verification.
That's a claim you're making for the first time, here. Not one I've made. Go ahead and re-read my comments to verify.