Sádde merkoša šleađgaboasttain: Framework for the Verification of Geometric Digital Twins: Application in a University Environment