Program verification does not mean

Program verification does not mean error-proof programs. There is no magic here, either. Mathematical proofs also can be faulty. So whereas verification might reduce the program-testing load, it cannot eliminate it.

Kết quả (Việt) 1:

Chương trình xác minh có nghĩa là chương trình lỗi-bằng chứng. Có là không có ma thuật ở đây, hoặc là. Chứng minh toán học cũng có thể bị lỗi. Vì vậy, trong khi xác minh có thể làm giảm tải chương trình thử nghiệm, nó không thể loại bỏ nó.

Kết quả (Việt) 2:

Chương trình xác minh không có nghĩa là các chương trình chống lỗi. Không có ma thuật ở đây. Chứng minh toán học cũng có thể bị lỗi. Vì vậy, trong khi xác minh có thể giảm tải chương trình thử nghiệm, nó không thể loại bỏ nó.