Skip to main content
Share Your Experience: Take the 2024 Developer Survey
1 vote

Can one prove a part of the program to be correct rather than test it?

Yes, in theory, but not in practice. The problem is that a "proof", like a program, might be flawed. Some things, however, aren't amenable to proof if they depend on things that can't be ...
Buffy's user avatar
  • 36.4k

Only top scored, non community-wiki answers of a minimum length are eligible