Verifikation auf Systemebene