Verifikation

Bücher zum Thema bei Amazon.de

Unter Verifikation versteht man die berprüfung, ob eine Realisierung z.B.als Programm mit der Algorithmenbeschrei-bung (auch Spezifikation ge-nannt) übereinstimmt.

Bei der berprüfung der Gül-

tigkeit eines Programmes

spricht man in diesem Zusam-

menhang auch von der Programm-

verifikation. Sie wird im all-

gemeinen formal realisiert.