Dollar Føølish
А корректность это нефункциональное требование ?
Требования перечислены в спецификации, а корректность — свойство реализации по отношению к спецификации, так что это вообще не требование, мне кажется
За исключением случаев, когда есть какая-то метаспецификация