Specific software programs denoted in the Conformed RFP for use by design are considered validated and do not need to be verified. Upon written request, WSDOT can specify other programs that do not require formal verification. All other commercially available software programs shall be verified and added to the Verified Computer Program Log for the project, as noted below. Verification of Spreadsheets. Internally developed spreadsheets may be used. They shall be verified by performing hand calculations to check output or by checking the formulas used in the calculations, per the checking process defined in Section .
