. . . "Correctness (computer science)" . "incorrectness" . "program correctness" . "correctness proof" . "correctness in computer science" . "Correctness (computer science)" . "Correctness" . "correctness" . "correctness proofs" . . "provably correct" . "correctness of a computer program" . . "proof of correctness" . . "software correctness" . "formal correctness" . . . "correctness of programs" . "correct" . "Proof of correctness" . .