These include requirements that say the system must never or always exhibit a particular property.
Trong đó có các yêu cầu nói rằng hệ thống cần luôn luôn hay không bao giờ thể hiện một tính chất nào đó.