Verification versus validation