3 ms·
I’ll ask it for a formal proof when I get home and see how it goes. I’ve read plenty of papers with “formal proofs of correctness” that turned out to have huge
by josephg 4mo ago
I’ll ask it for a formal proof when I get home and see how it goes.
I’ve read plenty of papers with “formal proofs of correctness” that turned out to have huge flaws. Machine verifiable proofs I trust. But I’ve personally found more bugs with fuzzing than I have via proofs.
- teiferer 4mo agoOh I actually mean machine checked. Indeed, formal pen-and-paper proofs can have flaws, since they are essentially code without test coverage.