Objects of type Verification can contain code for processing rules. Verifications can have as status: documented, conceptual, free, automatic, Natural Construct or SQL.

In the predefined Predict metastructure, verifications can have passive and active associations of the following types:

Valid passive associations:

"Verifies EL"
"Is comp. of SY"

Valid active association: No predefined association

The description of object type Verification is organized under the following headings:

Maintaining Objects of Type Verification
Verification-Specific Maintenance
Verification-Specific Retrieval

Additional Information on Verifications/Processing Rules