Desk checking is a manual review process used in software development to evaluate the logic and correctness of a program's code or algorithms without executing the program. During this process, a developer or reviewer systematically examines the code line-by-line to identify errors, inconsistencies, or potential improvements. It helps ensure that the code adheres to design specifications and is free of logical flaws before moving on to more formal testing stages. This technique is often used in conjunction with other verification methods to enhance software quality.