Geometrie modelu verifikačního příkladu