Which of the following is a true statement about correctness?
a. Correctness cannot be shown through mathematical proof.
b. Correctness can be shown through formal logic.
c. Correctness can be shown without identifying specifications.
d. Correctness can be shown by testing many possible input values.
b. Correctness can be shown through formal logic.
The correct statement about correctness is:
b. Correctness can be shown through formal logic.
Formal logic provides a systematic and rigorous approach to reasoning about correctness. It involves defining the specifications of a system or program and then using mathematical proof techniques to demonstrate that the system or program meets those specifications. This approach allows for a comprehensive and verifiable assessment of correctness.