Desk checking is a non-automated technique of checking systematically the logic, algorithms and code in a program in order to identify the bugs and errors. This process is normally done before the release of a program in the market with an aim of identifying and working on all the possible bottlenecks that may affect the performance of the program.
Another type of inspection is a desk check wherein the code is checked manually by the software engineers. This can be done using columns with numerical sequencing or input and output sequences. It is a way of assessing factors and can be done mathematically and may be captured on a computer program or on a piece of paper. It is aimed at making certain that the program turns out as per the planned for by checking on the program reasoning process.