1. Framework for the verification of geometric digital twins: application in a university environment