Title: Herleitung und Implementation eines Verfahrens zur verifizierten Bestimmung von Eigenwerten linearer Differenzengleichungen