Abstraktionstechniken für automatische Verifikationsmethoden