Use of formal program correctness proofs as part of the cleanroo

Use of formal program correctness proofs as part of the cleanroom process eliminates the need do any testing for software defects. ~@[](1)

答案：FALSE