3 ms·
The OP is pointing out that what "the issue" is depends on whether you want high confidence that your code has few bugs, or you want certainty that your code co
by naasking 4y ago
The OP is pointing out that what "the issue" is depends on whether you want high confidence that your code has few bugs, or you want certainty that your code contains no bugs.
- tsimionescu 4y ago> you want certainty that your code contains no bugs Well, everyone would want that, but it's not possible. Formal verification comes nowhere close to promising that, especially not on a large project. I'm pretty sure OpenSSL is larger than any formally verified software to date (perhaps CompCert is larger?).
- mpweiher 4y ago"Beware of bugs in the above code; I have only proved it correct, not tried it." Donald Knuth