Which of the following statements about correctness proofs is fa

Which of the following statements about correctness proofs is false?

A.Proofs are important where human lives are at stake.

B.Proofs are important where indicated by cost-benefit analysis.

C.Correctness proving is sufficient and no other testing is required.

D.The claims that software engineers do not have adequate mathematical training, proving is too expensive to be practical and proving is too hard are oversimplifications.

E.All of these statements are false.

正确答案是C