Check capabilities, correctness and efficiency of intended algorithm or system to match certain formal specifications.
Data Source: Unified Global Standards (ISCED, ISCO, O*NET, ESCO)