Verification

• A. It does not need the control of the human operator during their execution.
• B. An arrow in a multi-dimensional space. It is a quantity usually characterized by an ordered set of scalars.
• C. The validation of a theory on the basis of a finite number of examples
• D. None of these