Check capabilities, correctness and efficiency of intended algorithm or system to match certain formal specifications.
DADOS FORNECIDOS PELA ESCO (COMISSÃO EUROPEIA) E O*NET (DEPARTAMENTO DO TRABALHO DOS EUA)