The property of an algorithm that it produces the correct output for all valid inputs without errors such as skipping elements or infinite loops.
Topic 2.12: 2.12 Informal Code Analysis
algorithm correctness cheat sheet for homework