Verifikation (Informatik)

Verifikation [v-; mittellateinisch, zu verificare, vergleiche verifizieren] die, -/-en, Informatik:

der formale Nachweis der Korrektheit von Rechensystemen (Hard- und Software, auch von Subsystemen und Komponenten), d. h. des Übereinstimmens der Isteigenschaften mit den durch die Spezifikation formal beschriebenen Solleigenschaften. (Softwaretechnik)

Informationen zum Artikel