The process of determining that a model implementation accurately represents the developer's conceptual description and specifications.