Check capabilities, correctness and efficiency of intended algorithm or system to match certain formal specifications.
DATA SOURCED FROM ESCO (EUROPEAN COMMISSION) & O*NET (U.S. DEPARTMENT OF LABOR)