Na especificação de requisitos, há uma propriedade que estabelece que a origem do requisito pode ser verificada ou obtida, a partir da documentação do software.

Tal propriedade é denominada