要件定義プロセスにおいて，要件を評価する際には，矛盾している要件，検証できない要件などを識別することが求められている。次のうち，要件が検証可能である例はどれか。