Questions Tagged [correctness]

In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification.

Question is empty. Ask new Question

Popular Questions