Which of the following is a true statement about correctness?(1 point)

Question

Responses

Correctness can be shown without identifying specifications.
Correctness can be shown without identifying specifications.

Correctness cannot be shown through mathematical proof.
Correctness cannot be shown through mathematical proof.

Correctness can be shown through formal logic.
Correctness can be shown through formal logic.

Correctness can be shown

Answer 1

The true statement about correctness is:

Correctness can be shown through formal logic.

Correctness often involves demonstrating that a program meets its specifications, and formal methods using logic and mathematical proofs are commonly employed to demonstrate that a program behaves as intended according to those specifications.