Model Checking

The process of evaluating a model against requirements, rules, or expected information quality. Model Checking can include geometry, data, classification, and deliverable compliance tests.