Integral-Faktor-Methode und numerische Verifikation