> Ideally, such techniques could find and patch all bugs, and then provide some proof that there are no more to be found.
The claim "Find and patch all bugs" is false. This is computer science 101. It is not possible. All one can say is that the claims are well-repeated. They aren't supported at all.
Here's the claim:
> Ideally, such techniques could find and patch all bugs, and then provide some proof that there are no more to be found.
The claim "Find and patch all bugs" is false. This is computer science 101. It is not possible. All one can say is that the claims are well-repeated. They aren't supported at all.