Explore relationships

Program correctness

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified.

Use + to expand a branch. Click a topic name to open its summary.