engl.: verification
Unter Verifikation verstehen wir den Nachweis, dass Software bestimmte, explizit beschriebene Eigenschaften besitzt.