Which of the following is a true statement about correctness?(1 point) Responses Correctness can be shown through formal logic. Correctness can be shown through formal logic. Correctness can be shown by testing many possible input values. Correctness can be shown by testing many possible input values. Correctness can be shown without identifying specifications. Correctness can be shown without identifying specifications. Correctness cannot be shown through mathematical proof.

Answer 1

The true statement about correctness is:

Correctness can be shown through formal logic.

Formal logic and mathematical proofs are essential methods for establishing the correctness of algorithms and systems, especially in the context of formal verification. Other statements may not be universally true. For example, while testing many possible input values can help demonstrate correctness, it cannot guarantee it without thorough and exhaustive coverage, and correctness generally relies on having clear specifications.