Software-Verifikation
Software-Validierung
vorgefertigte Software-Bausteine
Verläßlichkeit von Hardware