The creation of digital checking rules used to test models against requirements, standards, or project logic.