Verification is the process of checking the software against the requirements. Reusing system development information is currently constrained to how it was previously used. Reuse and automatic generation of software will have a major impact on the verification process.