Generic vs. Application-Specific Properties: Properties can be generic or application specific. Illustrations of generic properties are:
- No array out-of-bounds accesses
- No divide by zeros
- No deadlocks
- No race conditions
- No null-pointer dereferences
- No uncaught exceptions
Application-specific properties are assertions about particular features or behaviors that depend on the nature of the application and typically involve domain-specific terms. For Illustration:
- “The pitch rate ratio shall be between 0 and 1.”
- “The busy flag shall be set if the input is not available for five consecutive cycles.”