Infraestrutura de decisão assente num núcleo determinístico

Formatos de avaliação

Uma avaliação é definida pelas afirmações verificadas em análise, pelo ambiente e pelas responsabilidades do operador.

Limite da evidência

Os nomes das edições não ampliam o limite de prova pública nem implicam capacidades de implementação indisponíveis.