There is no need to wait for the code to be complete to reap the benefits of inspection. Early inspection of a document that states system requirements, can help insure that the correct system is built. In our experience, even when mathematical requirements are being used in the formal verification of a product, they may not accurately capture the designer’s or customer’s intent. Inspection of a requirements document helps to assure that the requirements are capturing the right thing.