3 ms·
Can a single program be proven bug free? Sure. Can we do that for arbitrary programs? No. This may interest you: https://en.wikipedia.org/wiki/Rice's_theorem h
by staticassertion 5y ago
Can a single program be proven bug free? Sure. Can we do that for arbitrary programs? No.
This may interest you:
https://en.wikipedia.org/wiki/Rice's_theorem https://en.wikipedia.org/wiki/Rice's_theorem