He defines Verification as the control of approximation errors and includes computer code verification, numerical solution verification and also verification of input data. Validation he defines as ...