Completely Residual Based Code Verification