Which of the following is a true statement abot correctness

corectness can be shown by testing many posible input values
corretness cannot be shown through mathemeatical proof
corectness cna be shown without identifying specifications
correctness can be shown through formal logic

1 answer

Correctness can be shown through formal logic.