Zur automatischen Verifikation der funktionalen Spezifikation sequentieller Schaltungen.