3 ms·
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.
by cryptonym 1y ago
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 1y ago> 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.